3 ms·
Author here. This is work-in-progress, not linked from top level. I'll keep working.
by pmcjones 2mo ago
Author here. This is work-in-progress, not linked from top level. I'll keep working.
- metazip 2mo agoThanks for the extensive collection. Valuable work. I’ve included a reference to the link collection on https://github.com/function-level/function-level.github.io https://github.com/function-level/function-level.github.io
- pmcjones 2mo agoThanks 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.
- metazip 1mo agoVideos to FL and FP: John Backus: Function Level Programming and the FL Language 1987 (https://www.youtube.com/watch?v=FxcT4vK01-w&t=15s https://www.youtube.com/watch?v=FxcT4vK01-w&t=15s), John Backus Group Meeting - IBM Research - 5 July 1989 (https://www.youtube.com/watch?v=KzBkb-bvNK4 https://www.youtube.com/watch?v=KzBkb-bvNK4), Backus on functional programming (https://www.youtube.com/watch?v=OxuPZXXiwKk https://www.youtube.com/watch?v=OxuPZXXiwKk) from Original: Oral History of John Backus (https://www.youtube.com/watch?v=dDsWTyLEgbk https://www.youtube.com/watch?v=dDsWTyLEgbk)
- pmcjones 1mo agoThe first video is the same as https://softwarepreservation.computerhistory.org/FP/#Backus1987 https://softwarepreservation.computerhistory.org/FP/#Backus1... . I hadn't seen the Group Meeting video; I will add it (even though it's very rough). I will change the entry for [Booch2007] to include the video as well as the transcript.
- deleted 29d ago[deleted]
- metazip 2mo agoRemembering John Backus: > [...] 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.
- pmcjones 2mo agoIs this your project: https://github.com/metazip/pointfrip https://github.com/metazip/pointfrip ?
- metazip 2mo agoYes, it started with https://esolangs.org/wiki/FP_trivia https://esolangs.org/wiki/FP_trivia in Delphi, and the project using the Lazarus-IDE was Pointfrip.
- metazip 1mo agoI 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.