class Hoge(Foo) { // ...} なんてことは論理的にあり得ない。 HogeをFooとみなすかどうかは、一般的に文脈によるからだ。 だから、Hogeの定義にFooのサブタイプであることが課せられるのはおか...
木構造にイテレータを実装するのだってDFSとBFSがあるしな
関数型言語ならオブジェクトまたはメソッドをクロージャで包むことで動的に派生型を作れるし複数パターン作れる
関数型言語ならオブジェクトまたはメソッドをクロージャで包むことで動的に派生型を作れるし複数パターン作れる