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.
-
Show this thread
-
Replying to @keithtpinson
Imperative is not a cute trick: it is a consequence of Russell-Whitehead, which predates the lambda calculus.
3 replies 0 retweets 5 likes -
This Tweet is unavailable.
-
I'm not saying you can't do things with Curry-Howard. I'm just saying Russell-Whitehead is not getting enough credit these days, and that the interplay between the two correspondences is an under-exploited fertile land.
2 replies 0 retweets 0 likes -
Replying to @Ngnghm
I honestly don't know anything about this. I thought Russell and Whitehead's project failed.
1 reply 0 retweets 0 likes -
Replying to @keithtpinson
Russell and Whitehead's project is vastly successful, and inspired all modern logic and mathematics. Certainly, they failed to achieve all their desired goals, but they also opened new domains nobody (including them) imagined existed.
1 reply 1 retweet 0 likes
How is the lambda calculus defined? In terms of term rewriting, a technique descended from the formal systems of Russell and Whitehead. Who even introduced "types" into logic? Russell and Whitehead, as a way to avoid Russell's paradox.
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!