4 ms·
There’s some truth to this - imperative languages with state make sense because the underlying hardware is a series of imperative instructions and a large amoun
by docandrew 4y ago
There’s some truth to this - imperative languages with state make sense because the underlying hardware is a series of imperative instructions and a large amount of state. What does lambda calculus hardware look like?
- AndrewKemendo 4y agoApparently it's called the "reduceron" https://www.cs.york.ac.uk/fp/reduceron/ https://www.cs.york.ac.uk/fp/reduceron/ https://www.cs.york.ac.uk/fp/reduceron/jfp-reduceron.pdf https://www.cs.york.ac.uk/fp/reduceron/jfp-reduceron.pdf