Types and Programming Languages (The MIT Press)

プログラミング

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

      • -

話は戻るが、１３章「References」、１４章「Exceptions」のあたりで説明されているエンコーディングの方法は、OCamlなんかでは陰にSyntaxに織り込んでしまっているのに対して、Concurrent CleanやHaskellなんかでは陽に書き下しているのかなと想像。
以前書いた、Clean入門の中で、今でも気持ちが悪いと思っている２１章の説明を、TAPLの内容を踏まえて書き直してやれば、すっきりしそうな気がした。