確かに断絶かも。でも、まあそこまで不自然な断絶は感じないんだけどなぁ。例えば、私もPeyton Jonesの話は、単純に知らなかったわけだし*1。 *1:それはただの勉強不足

※細かな表現などを修正しました細かいことですが。http://d.hatena.ne.jp/mmatsuoka/20060831#1156989501OCamlのStructural Polymorphismは、(少なくとも)現在はGarrigueの型システムです。多相レコードには、Remyらによる列変数(row variable)を用いた表現…