>>219
「あ」本人が「その辺は記憶だより」とか「違うかも」的なこと言ってるから、多分混乱してるね。
なにより、そう考えると辻褄が会うんだよ。
逆に、Haskellのことを何も知らないと仮定したほうが、
「何故ジェネリクスの多相再帰はできるけど実行時に解決してるということを知ってるのか？」
ということの説明ができなくなる。
この問題はHaskellについて詳しくないと答えられないはず。
しかも、聞かれたわけでも無いのに自ら答えてる。
ということは、「Haskellについて知っている」と仮定するほうが妥当。というのが俺の考え。