Re:The Ultimate Conditional Syntax
by 082349872349872 on Sunday October 20, 2024 @06:36PM
(#41899066)
Inspired by duality, I've been trying to work out a language where there's a more obvious correspondence/symmetry between expressions (which evaluate in an environment of named bindings to produce an anonymous value) and patterns (which destructure an anonymous value to produce an environment of named bindings).
[ Parent
| on HN ]
Re:The Ultimate Conditional Syntax
by andyferris on Sunday October 20, 2024 @09:25PM
(#41899917)
Have you made any progress?
Re:The Ultimate Conditional Syntax
by 082349872349872 on Monday October 21, 2024 @02:10AM
(#41901133)
In theory, yes: I've used it to derive a (minor but accepted as published) patch to a Turing Award winner's paper; in practice, no.
[the semantics haven't changed much over the past years, but the syntax? even as a single person, who ought to be able to come up with a unified design, my different temporal instantiations insist on bike shedding]