3 ms·
Instead of pure lambda calculus, another less severe route would be to simply restrict yourself to Church-encoded or Scott-encoded formulations of data structur
by platz 10y ago
Instead of pure lambda calculus, another less severe route would be to simply restrict yourself to Church-encoded or Scott-encoded formulations of data structures.
- arethuza 10y agoAnd a more severe route would be to allow just S and K.
- SAI_Peregrinus 10y agoJust use Lazy K: https://tromp.github.io/cl/lazy-k.html https://tromp.github.io/cl/lazy-k.html