9 ms·
Looks interesting, but can we get some background about why it's particularly remarkable? I haven't heard of the author, and though it's an interesting topic, t
by AndrewO 14y ago
Looks interesting, but can we get some background about why it's particularly remarkable? I haven't heard of the author, and though it's an interesting topic, there seem to be a lot of other textbooks in the same field. What's special about this one?
- noblethrasher 14y agoThe author is an accomplished computer scientist in his own right but he's recently become more (in)famous for his critiques of Haskell in his new blog: http://existentialtype.wordpress.com/ http://existentialtype.wordpress.com/ Here's a recent HN discussion: http://news.ycombinator.com/item?id=4380900 http://news.ycombinator.com/item?id=4380900
- jmount 14y agoHe is one of the major experts on type systems: http://en.wikipedia.org/wiki/Robert_Harper_(computer_scientist) http://en.wikipedia.org/wiki/Robert_Harper_(computer_scienti...