Proposal: Bindings aka Records - GetPoplog/Seed GitHub Wiki
Work in Progress
Outline: Pop-11 would benefit from the introduction of a dictionary-like record type with tagged fields that has syntax like:
with( foo = 1, bar = false, gort = f() )
Bindings would act like ordinary records in many ways but would share a single key. They would contain a pointer to the sorted tag-set.