今日は寝てた

気が付いたら夕方4時とかって、久々の快挙。明日は学校行きます。今日は掃除します。
寝ている間に、3世代にわたるISerの書き込みが出来上がった昨日の日記。
さらに粘着してみることにして、id:sumii:20051018:1129600055の話で、「型単相の型推論」っていうのがMinCamlで、「型推論の無い多相型」ってのがPerlとかっていうのでいいでしょうか。多分。
でも型推論の無い多相型って言っても、決して動的型しか持たない言語ってわけでもなさそう。例えば、Javaで

abstract class Super{
}
class Sub extends Super{
}

class Main{
	public Super getSuper(){
		return new Sub();
	}
}

みたいに、子供のクラスを返すことが出来るってのもある意味多相型だよね。