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.
-
-
See also the RESOLVE programming language and it's mapping to C++ and Ada. Imperative, but based on value semantics and "swap" instead of aliasing references via "assignment". Decades of experience with verification, arguably much simpler than typed FP. https://www.cs.clemson.edu/resolve/
-
This Tweet is unavailable.
- 6 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!