z(執筆者専用)/第５章のバックアップ(No.6)

# let c = object
   val lst = []
   method cons x = {< lst = (x::lst) >}
   method length = List.length lst
  end;;
val c : < cons : 'b -> 'a; length : int > as 'a = <obj>
# let s = object
   val lst = []
   method snoc x = {< lst = (List.append lst [x]) >}
   method length = List.length lst
  end;;
val s : < length : int; snoc : 'b -> 'a > as 'a = <obj>

上記のようなintを返すメソッドlengthを持つという共通点を持つオブジェクトc,sがあったとし，

# let tupler o = (o#length,o);;
val tupler : (< length : 'b; .. > as 'a) -> 'b * 'a = <fun>

上記のようにメソッドlengthを持つオブジェクトをいじる関数を定義．
tuplerの型中の..をとりあえず，無視して読むと，
lenthを持つ何か -> (何か，lengthを持つ何か)
というシグネチャで，戻り値の2要素目はlengthを持つという情報以外を失っているように見える．
しかし，

# (snd (tupler c))#cons 1;;
- : < cons : int -> 'a; length : int > as 'a = <obj>
# (snd (tupler c))#snoc 1;;
This expression has type < cons : 'b -> 'a; length : int > as 'a
It has no method snoc

ちゃんと，cから作った(snd (tupler c))はconsを持っているものという情報をロスしておらず，

# (snd (tupler s))#cons 1;;
This expression has type < length : int; snoc : 'b -> 'a > as 'a
It has no method cons
# (snd (tupler s ))#snoc 1;;
- : < length : int; snoc : int -> 'a > as 'a = <obj>

sに関して同様の操作を行ったこの例からわかるように，
先ほどは(snd (tupler c))にconsを先に適用した結果,
consを持つものとされたのでなく， tuplerに渡されたオブジェクトの情報が隠れた形で保存されている．

この隠れた情報保持している裏方さんがrow variable(rho variable) とやらで，
こういったpolymorphicなものが記述できてハッピーだ．
というのが，ρ多相という認識でOKでしょうか？

すばらしい、数時間で完璧に理解されていますね。私がρ多相を理解するのに何日かかったと思っているんですかっあと、実用上は、情報のロスを防げるだけではなく、明示的なサブタイピングのようにキャストを記述しなくてもいいという点も、便利なところだと思っています。上記の例でそのまま５章の内容にできますね。よろしくお願いします。

ところで、row variablesについて理解できると、実は、特定のコンストラクタだけファンクターの引数にして輸入できるprivate rowsの機能も容易に理解できます。ついでに理解しておくと役立つと思います。

row variablesについては、大堀先生の A Polymorphic Record Calculus and Its Compilation が分かりやすいと思います。 -- ogasawara? 2007-02-14 (水) 16:36:55
要するに、let name c = c#name という事が出来る多相性です。これはSML#の多相レコードや多相ヴァリアントの元となる考え方です。 -- ogasawara? 2007-02-14 (水) 16:38:00
↑↑↑コメントありがとうございました。補強整形して5章に加えます。 -- ヒグチ? 2007-02-15 (木) 02:23:14

↑

この章のどこかで触れなきゃって事項 &dagger;

coercion -- 2007-02-15 (木) 02:43:55

z(執筆者専用)/第５章 のバックアップ(No.6)

Legend &dagger;

オブジェクト指向機能 (担当：末次，樋口) &dagger;

クラス &dagger;

基本構文 &dagger;

生成パラメータ &dagger;

自己参照 &dagger;

メソッドのprivate指定 &dagger;

initializer &dagger;

クラスの応用 &dagger;

継承 &dagger;

オーバーロード &dagger;

多重継承 &dagger;

virtualメソッドによる遅延バインディング &dagger;

型パラメータ付きクラス &dagger;

オブジェクト &dagger;

直接生成 &dagger;

多相性 &dagger;

多相性-構造的サブタイピング &dagger;

多相性-ρ多相 (rho variable polymorphism?) &dagger;

この章のどこかで触れなきゃって事項 &dagger;

z(執筆者専用)/第５章のバックアップ(No.6)