昨日、２０章「Recursive Types」を読みました。ページ数は、およそ１４ページ。 面白かったのは、'equi-recursive'と'iso-recursive'という２つのアプローチがあるという話。 - 話は戻るが、１３章「References」、１４章「Exceptions」のあたりで説明され…