anon_c

3 ms·

1. 1.▲
   by anon_c 15y ago

   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 covers most of the useful
2. 2.▲
   by anon_c 15y ago

   Why don't we stop fucking around and just use λx y→x+y ?
3. 3.▲
   by anon_c 15y ago

   Available online.
4. 4.▲
   by anon_c 15y ago

   impure functional programing with tables of closures.
5. 5.▲
   by anon_c 15y ago

   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: http://www.cs.cmu.edu/~rwh/smlbo