redesign record surface syntax #47

dannypsnl commented 2026年06月12日 03:31:33 +02:00

A record lives in { }; one field rule everywhere: name => value, and fields are separated by |.

• construct: { fst => a | snd => b }, pun { x | y }, empty {}
• update: { base \with fst => a }
• field params: f x => body is sugar for f => \x -> body
• pattern: { fst => a | snd => b }, with punning
• declaration and p.fst projection unchanged

close #43

A record lives in `{ }`; one field rule everywhere: `name => value`, and fields are separated by `|`. - construct: `{ fst => a | snd => b }`, pun `{ x | y }`, empty `{}` - update: `{ base \with fst => a }` - field params: `f x => body` is sugar for `f => \x -> body` - pattern: `{ fst => a | snd => b }`, with punning - declaration and `p.fst` projection unchanged close #43