3 ms·
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 envi
by 082349872349872 2y ago
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).
- andyferris 2y agoHave you made any progress?
- 082349872349872 2y agoIn 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]