ラムダ計算続き g1 = \x y -> x + y g2 = \x -> map (g1 1) x g3 = \f -> map f [1..5] -- functional argument {- g1 2 3 -- 5 g2 [1..5] -- [2,3,4,5,6] g3 (g1 1) -- [2,3,4,5,6] -}*Sample1> :type g2 g2 :: [Integer] -> [Integer] *Sample1> :type g3 …

ユースケースによるアスペクト指向ソフトウェア開発 (Object Oriented Selectionシリーズ)作者: Ivar Jacobson,Pan-Wei Ng,鷲崎弘宜,太田健一郎,鹿糠秀行,立堀道昭出版社/メーカー: 翔泳社発売日: 2006/03/23メディア: 大型本購入: 1人 クリック: 28回この商…