osiire’s blog

ふしぎなそふとやさん

2009-02-01から1日間の記事一覧

バイナリメソッドのある継承される事を想定した基底クラスが自身の型のリストを持っている時に、そのクラスを継承したクラスがサブタイピングで複数の異なる型の継承クラスを基底クラスのリストにアペンドする例。

言葉にすると訳分からんね。 class virtual ['me] sprite = object ( self ) val cs : 'me sprite list = [] method add_children c = {< cs = c :: cs >} method children = cs method virtual show : unit method print = self#show; List.iter (fun c -> …