I see some tweets about "post-functional" as if functional were a cute trick that is passe. The world is already post-functional: imperative is post-functional: the lambda calculus is older than it all. Functional is not a cute trick: it is a profound consequence of Curry-Howard.
-
-
Interesting, thanks. I thought Scheme was functional language though? Isn't it a Lisp? But, perhaps you are saying, that its approach to effects is imperative, and is therefore not giving expression to Curry-Howard.
-
Scheme can reasonably be called "functional" (which would be a stretch for e.g. Common Lisp), but then again not "pure functional". Mutable state and first-class continuations are everywhere. Actually, you can implement mutable cells with just letrec and call/cc.
End of conversation
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.
Read my blog!