XocamlbookX
#contents
*Legend [#j74b2740]
:OiC| 公式Ref. Chapter 3 Objects in Caml
:CaM| 公式Ref. Chapter 5 Advanced examples with classes and modules
*オブジェクト指向機能 (担当：末次，樋口)[#u0bdec75]
**クラス [#a9458f03]
***基本構文 [#o518a272]
- ベースあり -- &new{2007-02-14 (水) 17:28:50};
#comment
***生成パラメータ [#o1c6d7b1]
- OiC 3.10? -- &new{2007-02-14 (水) 17:33:02};
- 今いじってます -- [[ヒグチ]] &new{2007-02-15 (木) 00:45:07};
- TODO 直接生成のお話、constraintの話 -- [[ヒグチ]] &new{2007-02-15 (木) 02:19:25};
#comment
***自己参照 [#wcf7e2f1]
- OiC 3.3 -- &new{2007-02-14 (水) 18:01:19};
- coercion触れるのここかも -- [[ヒグチ]] &new{2007-02-15 (木) 02:55:44};
- 継承の後じゃないと、外部に参照できる形でさらせないよが言えない？ -- &new{2007-02-15 (木) 12:35:16};
- coercionは、構造的サブタイピングのところで軽く触れてもらう程度でいいと思うのですが、いかがでしょう？selfを含むcoercionとかは入門者には難しすぎるような気がします。 -- [[ogasawara]] &new{2007-02-18 (日) 04:35:48};
#comment
***メソッドのprivate指定 [#q5b66fbf]
- OiC 3.6 -- &new{2007-02-14 (水) 18:01:35};
- 例案だけ配置 -- [[ヒグチ]] &new{2007-02-16 (金) 01:47:09};
#comment
***initializer [#p831e3d2]
- OiC 3.4 -- &new{2007-02-14 (水) 18:01:44};
- 生成パラメータ直後に移動してみた -- [[ヒグチ]] &new{2007-02-16 (金) 01:47:29};
#comment
**クラスの応用 [#u33c3cf1]
***継承 [#saeb055d]
- ベースあり -- &new{2007-02-14 (水) 17:29:03};
- OiC 3.8 -- &new{2007-02-14 (水) 18:02:07};
#comment
***オーバーロード [#fee9d05b]
#comment
***多重継承 [#tbd9f0db]
- OiC 3.9 -- &new{2007-02-14 (水) 18:02:46};
#comment
***virtualメソッドによる遅延バインディング [#l208d6d5]
#comment
***型パラメータ付きクラス [#pd52747d]
#comment
**オブジェクト [#h35740dc]
***直接生成 [#w670d508]
- ベースあり -- &new{2007-02-14 (水) 17:29:13};
- OiC 3.2 -- &new{2007-02-14 (水) 18:03:10};
#comment
***多相性 [#ae5fdd00]
#comment
***多相性-構造的サブタイピング [#a9d6e9db]
- www.math.nagoya-u.ac.jp/~garrigue/papers/ocaml-ng.pdf -- [[樋口]] &new{2007-02-14 (水) 16:31:44};
- ↑ガリグ先生によるパワポ資料で少し言及されてる様子 -- &new{2007-02-14 (水) 16:33:12};
#comment
***多相性-ρ多相 (rho variable polymorphism?) [#l0528fc9]
大堀先生の論文他を超斜め読みした理解はこんな感じなのですがどうでしょう．
# 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]] &new{2007-02-14 (水) 16:36:55};
- 要するに、let name c = c#name という事が出来る多相性です。これはSML#の多相レコードや多相ヴァリアントの元となる考え方です。 -- [[ogasawara]] &new{2007-02-14 (水) 16:38:00};
- ↑↑↑コメントありがとうございました。補強整形して5章に加えます。 -- [[ヒグチ]] &new{2007-02-15 (木) 02:23:14};
#comment
* この章のどこかで触れなきゃって事項 [#ga046f45]
- coercion -- &new{2007-02-15 (木) 02:43:55};
#comment
![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
