2011-04-04から1日間の記事一覧
前:多相型 目次 次:バリアント型 再帰関数の型推論 以下は、階乗を求める関数 fac の定義です。 let rec fac = fun n -> if n = 0 then 1 else n * fac (n - 1)このように、Ibis で再帰関数を定義する際は let ではなく let rec を使います。これは OCaml …
前:多相型 目次 次:バリアント型 再帰関数の型推論 以下は、階乗を求める関数 fac の定義です。 let rec fac = fun n -> if n = 0 then 1 else n * fac (n - 1)このように、Ibis で再帰関数を定義する際は let ではなく let rec を使います。これは OCaml …