Haskellのλ式 add :: (Num a) => a -> a -> a add = (\ x y -> x + y) 型クラスを用いる場合は、 関数名 :: (型クラス[, 型クラス...]) => (関数の型)という宣言の仕方になる。 型クラスのところがJavaのみたいなもの (Thanks rf0444). Ocamlでは無名関数はf…