で、そのtogetterでも巻き込まれてる（？）雪だるまの人のTaPL日本語版の書評が＞＜
書評「型システム入門」 - 純粋関数空間 http://tanakh.jp/posts/2013-05-08-tapl.html