December 2008
1 post
1 tag
(Non-)Total Functional Programming
I’ve been getting back into language design again. (I haven’t written anything about it since August!)
Not too long ago I was introduced to Total Functional Programming. The paper is very interesting, and at first, the concept sounds great. Increase the ease of proofs of properties of your code at the expense of Turing-completeness. Who needs Turing-completeness anyway.
But...