Logic Dice

2/10 練習メモ

プログラム, メモ

Haskellのλ式

add :: (Num a) => a -> a -> a

add = (\ x y -> x + y)

型クラスを用いる場合は、

関数名 :: (型クラス[, 型クラス...]) => (関数の型)という宣言の仕方になる。

型クラスのところがJavaの<T extends Hoge>みたいなもの (Thanks rf0444).

Ocamlでは無名関数はfunを用いて記述する。

add = fun x y -> x + y

厳密なλ式がもしかしたらあるのかもしれないけど、とりあえずはこれで表現可能。

Permalink | コメント(0) | トラックバック(0) | 00:35