Hacker-Proof Coding (or as we like to say, finally only interesting bugs left)https://cacm.acm.org/magazines/2017/8/219596-hacker-proof-coding/fulltext …
In a total language, you pretty much won't run into the halting problem, by design.
-
-
You do spend your day arguing with the type checker that this recursion is indeed well-founded.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.