4 ms·
The fellow behind this has been hammering at experiments around so called optimal reduction strategies for a while! As another commenter’s remarks imply; some
by carterschonwald 5y ago
The fellow behind this has been hammering at experiments around so called optimal reduction strategies for a while!
As another commenter’s remarks imply; some of the so called benefits for what are called optimal reduction strategies are limited to efficiently manipulating data structures that are represented by lambdas. And that’s also probably why this is Untyped. Makes it easier to embed / support such an encoding
- throwaway17_17 5y agoAgreed, but the reference he makes to the symmetric interaction calculus blog post seems to at least have basis in sound logic/semantic principles. I haven’t read the whole post, but I am at least willing to give it a chance.
- carterschonwald 5y agoLinear logic inspired ideas are always great