再帰がわかりにくい場合#traceで呼び出しをトレースできる、ということを知りました。 let rec sum lst = match lst with [] -> 0 | first :: rest -> first + sum rest let test1 = sum [1;2;3;4;5] = 15 #trace 関数名;;でトレースを開始して、#untrace 関…