> [...] At that time, John was interested in pure functional programming, with no side-effects on storage or the external world. I advocated extending the language to allow writing complete interactive applications. John conceded the importance of this, and came up with a scheme in which one would write a function to express the complete transformation of an application on the global state. I struggled with John’s variable free style, and suggested we allow lambda variables when defining a new functional form (higher-order function), but he stuck to his guns.
(In my project) I’ve reduced extensibility to the meta-composition rule, and I’m using an IO monad for interaction because I believe all functions should remain as simple as possible.
I have looked at the diagrams. If a side effect occurs between Program A and Program B, then referential transparency is violated. Referential transparency is the "sacred principle" of algebra; if it is violated, no algebraic transformation is possible—unless I am mistaken or we are talking about a monadic continuation.
Thanks very much; I in turn will add a link the Related Resources section. If you'd like to be recognized as other than metazip then let me know via email.
Nevertheless, a useful starting page to begin one's research from.
Somebody needs to create a similar list for current times. Maybe the co-author of "Elements of Programming" and preserver of "Software History" artifacts, named Paul McJones would be the right person? ;-)
The link dump includes scans of the source code and a link to this free-to-read paper on the history of the Lisp 2 project: https://ieeexplore.ieee.org/document/8267589 (I’m the author).
Thanks. Even though I'm originally from Europe, the book has ended up somewhat focused on what happened on the continent where I now live. It's something I'm planning to fix for a potential second edition.
Maybe I’m missing something, but that webpage only seems to provide a PDF containing the beginning of the book (up through the Preface). Perhaps you need a ACM Digital Library Premium subscription to access the entire book?
Sigh -- they keep changing the rules. I think you have to have a free ACM account. If you send me an email (see my home page in my profile), I'll send you a PDF.
