programing_in_Haskell_4_6.hs

-- double x = x + x
double = \x -> x + x

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

-- カリー化された関数 mult :: Num a => a -> a -> a -> a
-- mult x y z = x * y * z は、λ式を用いるとどのように表現できるか
mult :: Int -> ( Int -> ( Int -> Int ))
mult = \x -> (\y -> (\z -> x * y * z))