Oversimplifying summary: totality checking tells you which things terminate, and which things produce more results. Gluing these together is all you need. Simplifying even more: stop it. Turing completeness is overrated.
-
Show this thread
-
Replying to @edwinbrady
one of my favorite books, Lisp in Small Pieces starts with a passage "in fact, it might be easier to write a language that is turing complete than one it that is not."
2 replies 0 retweets 5 likes
Replying to @krismicinski
I can't argue with that...
2:12 PM - 21 Jan 2020
0 replies
0 retweets
0 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.