2 ms·
Well, pretty sure you can give a lambda denotation of those. Just start by implementing an interpreter in lamda-calculus ;p
by jcelerier 9y ago
Well, pretty sure you can give a lambda denotation of those. Just start by implementing an interpreter in lamda-calculus ;p
- catnaroek 9y agoSure, but that would be an object language embedded in the lambda calculus, not the lambda calculus itself. btw, variants of the lambda calculus do exist where some values (so-called “reference cells”) are object identities. But a value cannot be a lambda abstraction and a reference cell at the same time.