News for hackers. Stuff that matters.
Re:Preserves: An Expressive Data Language by tonyg on Friday August 09, 2019 @05:02AM (#20652510)
Thanks for the feedback. However, I don't understand quite what you're getting at. Can you point out the wording you find confusing? I don't see anywhere that it says all records are equivalent.

Re: distinction between form and content, that's the intended aim of having separate "semantics" and (two) "syntax" sections. The idea is that to compare Values (i.e. to know which Value you have!), you work in terms of the "semantics" section, not in terms of any particular surface syntax.

Re:Preserves: An Expressive Data Language by choeger on Friday August 09, 2019 @08:57AM (#20653841)
You write

> Equivalence. Two Values are equal if neither is less than the other according to the total order.

Directly below the total order of what you call "kinds". That confused me.

Re:Preserves: An Expressive Data Language by tonyg on Friday August 09, 2019 @09:47AM (#20654251)
Thanks, I'll try to clarify.