I use RFC 1345 digraphs in vim to type unicode characteres. In RFC 1234, λ is l* and → is ->. To type the above, I just input l_*x y -_>x+y where _ means backspace. This is easy to learn, fast to type, and…
Why don't we stop fucking around and just use λx y→x+y?
Available online.
impure functional programing with tables of closures.
Standard ML. It's simple, well-designed, stable, and consistent. http://www.itu.dk/~tofte/publ/tips.pdf http://homepages.inf.ed.ac.uk/stg/NOTES/notes.pdf A full book. It's good, but don't start with it:…
I use RFC 1345 digraphs in vim to type unicode characteres. In RFC 1234, λ is l* and → is ->. To type the above, I just input l_*x y -_>x+y where _ means backspace. This is easy to learn, fast to type, and…
Why don't we stop fucking around and just use λx y→x+y?
Available online.
impure functional programing with tables of closures.
Standard ML. It's simple, well-designed, stable, and consistent. http://www.itu.dk/~tofte/publ/tips.pdf http://homepages.inf.ed.ac.uk/stg/NOTES/notes.pdf A full book. It's good, but don't start with it:…