3 ms·
Try a textbook? e.g. Types and Programming Languages by Benjamin C. Pierce.
by cjbprime 6y ago
Try a textbook? e.g. Types and Programming Languages by Benjamin C. Pierce.
- ashton314 6y agoExcellent book that one. I'm working through it right now. It's dense, but good and approachable.
- WkndTriathlete 6y agoI agree that TaPL is an excellent book, but I did not find it useful in explaining functional programming idioms. (It does do a great job of explaining typed lambda calculus, however.)