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 …
-
-
-
Replying to @joernchen
In a total language, you pretty much won't run into the halting problem, by design.
1 reply 0 retweets 0 likes
Replying to @andreasdotorg @joernchen
You do spend your day arguing with the type checker that this recursion is indeed well-founded.
5:01 AM - 21 Aug 2017
0 replies
0 retweets
1 like
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.