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.
-
-
I have never been presented with a small, clean, sound conceptual model of imperative. If that exists, I would like to know. What you described of Whitehead-Russell sounds fascinating but not small.
-
Have a look at the denotational semantics of Scheme, part of the RnRS. It's quite small. It beats defining and using monads in Haskell in terms of size, the admittedly Haskell gives you some control in exchange of the price you pay.
- 2 more replies
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!