08/02/21 21:51:43
>>268
O'Caml の気持ちを代弁すると、
moredeeplen の型は多分 'a list list -> int だと思うんだが、
再帰的に呼ぶ際に moredeeplen tl の所で 'a list -> int という違う型で
使っている。なのでアウト。
普通は 268 が書きたいような、型を利用した再帰関数は ML の多相型では
書けませんな。
08/02/21 21:51:43
>>268
O'Caml の気持ちを代弁すると、
moredeeplen の型は多分 'a list list -> int だと思うんだが、
再帰的に呼ぶ際に moredeeplen tl の所で 'a list -> int という違う型で
使っている。なのでアウト。
普通は 268 が書きたいような、型を利用した再帰関数は ML の多相型では
書けませんな。