This essay attempts to make Conal’s vision more understandable to less mathematically-oriented programmers, and also show how this perspective could be the foundation for a new era of programming, not just with user interfaces, but also multi-node computing, storage, machine learning, etc.
In the previous post, I showed how to manually rewrite a Python function into “combinator form”, and then apply YC to it, to get a serialisable version of the original function. In this post, I show…
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)