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."
-
-
-
I can't argue with that...
End of conversation
New conversation -
-
-
Totality is overrated as well.
-
Oh, controversial! My preferred default now is that coverage checking is most important, but also that if a machine doesn't agree a function is total, I at least want to understand why.
End of conversation
New conversation -
-
-
Type Theory is Turing complete. https://arxiv.org/abs/1610.09254
-
I know (at least partly due to this paper). I still think it's overrated :)
- 1 more reply
New conversation -
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.