Clarity: "Looping may only be performed via map, filter, or fold" Happily, fold is all I need to implement a SECD machine loop. Sure, guaranteed to terminate... L**N steps or less, by nesting N loops over a list of length L. Fools just can't get Turing-incompleteness right.
1:01 PM - 1 Jul 2019
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!