計算機科学のブログ

関数型プログラミングの基礎 ファーストクラス関数 引数としての関数 引数としてのラムダ式

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT1(関数型プログラミングの基礎)、LESSON4(ファーストクラス関数)、4.1(引数としての関数)、引数としてのラムダ式のクイックチェック 4-1の解答を求めてみる。

コード

ifEven :: Integral p => (p -> p) -> p -> p
ifEven f x =
  if even x
    then f x
    else x

ifEvenCube :: Integral a => a -> a
ifEvenCube x = ifEven (\x -> x ^ 3) x

main :: IO ()
main = do
  mapM_ (print . ifEvenCube) [-5 .. 5]

入出力結果(Terminal, Zsh)

% runghc sample01.hs 
-5
-64
-3
-8
-1
0
1
8
3
64
5
%