12/04/22 17:17:03.18 .net
>>524
どうしてもやりたいならY combinatorを定義して使うとか：
let rec y f x = f (y f) x;;
(y (fun f x -> match x with 0 -> 1 | n -> n * f (n-1))) 10;;
12/04/22 17:17:03.18 .net
>>524
どうしてもやりたいならY combinatorを定義して使うとか：
let rec y f x = f (y f) x;;
(y (fun f x -> match x with 0 -> 1 | n -> n * f (n-1))) 10;;