3 ms·
this is true, but lambda calculus is somewhat usable by a human. how many people have written runnin code in combinators (I have, sadly)
by convolvatron 3y ago
this is true, but lambda calculus is somewhat usable by a human. how many people have written runnin code in combinators (I have, sadly)
- fanf2 3y agohttps://www.ioccc.org/years-spoiler.html#1998_fanf https://www.ioccc.org/years-spoiler.html#1998_fanf One of several IOCCC winners based on lazy evaluation.
- alexisread 3y agoWell, anyone who has written in Forth kinda has, though it's interesting that few projects take it further (Factor). Joy has a great set of pages explaing it's SKI basis https://hypercubed.github.io/joy/html/forth-joy.html https://hypercubed.github.io/joy/html/forth-joy.html