2010-04-05から1日間の記事一覧
{- 1個の時 _1 a1 a2 a3 = a1 (a2 a3) -} {- 2個の時 Prelude> :t (.)(.) (.)(.) :: (a1 -> b -> c) -> a1 -> (a -> b) -> a -> c (.) a1 a2 a3 = a1 (a2 a3) (.)(.) a2 a3 = (.) (a2 a3) = (\a4 a5 -> (a2 a3) (a4 a5)) _2 a1 a2 a3 a4 = (a1 a2) (a3 a4) P…