#Fun of Programmingのファントムタイプの章の練習問題12.9についてですが、これは何をしろという問題？
#tequal (RDyn) (RDyn) = return idというのを追加するのが、
#動的な型の同値性検査を追加したことになるんだと思うんだけど
#「型表現Typeおよび動的な型の同値性検査tequalを拡張してα→βという関数の型を含めよ」の意味がどうも掴めない
#Extend the type of type representations /Type/ and the dynamic type equality check /tequal/ to include functional types of the form a->b.
#LHSのパターンとしてどういう式を追加すればいいのかが分かればいいんですが。
haskell-ja > Archives > 2012/08/05