metazip

17 ms·

1.
by metazip 20d ago
https://github.com/pointfreewiki/pointfreewiki.github.io/iss...
2.
by metazip 1mo ago
Videos to FL and FP: John Backus: Function Level Programming and the FL Language 1987 ( https://www.youtube.com/watch?v=FxcT4vK01-w&t=15s ), John Backus Group Meeting - IBM Research - 5 July 1989 ( https://www
3.
by metazip 1mo ago
some Plasm files https://github.com/metazip/plasmfiles/blob/main/Function-Lev...
4.
by metazip 1mo ago
https://github.com/pointfreewiki/pointfreewiki.github.io/iss...
5.
by metazip 1mo ago
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 tran
6.
by metazip 1mo ago
Yes, it started with https://esolangs.org/wiki/FP_trivia in Delphi, and the project using the Lazarus-IDE was Pointfrip.
7.
by metazip 1mo ago
Remembering 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 applicatio
8.
by metazip 1mo ago
Thanks 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
9.
Joy of Postfix Calculator App for Android(joy-of-postfix.github.io)
1 points by metazip 2y ago|0 comments
10.
Pointfrip Calculator in Android(github.com)
1 points by metazip 3y ago|0 comments
11.
Algebra of Programs: Proof of equality of programs [video](youtube.com)
3 points by metazip 3y ago|0 comments
12.
Why does a pointfree interpreter language like Pointfrip have no future?(github.com)
3 points by metazip 4y ago|0 comments
13.
Lambdas vs. Function-Level(backus-fp.github.io)
2 points by metazip 4y ago|0 comments