計算機科学のブログ

関数型プログラミングの基礎 - クロージャと部分適用 - シンプルなパターン、二項関数、引数

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT1(関数型プログラミングの基礎)、LESSON 5(クロージャと部分適用)、5.5(練習問題)、5-2の解答を求めてみる。

コード

sample.hs

main :: IO ()
main = do
  print $ f 10
  print $ g 10

binaryPartialApplication :: (t1 -> t2 -> t3) -> t1 -> t2 -> t3
binaryPartialApplication binaryFunc x = \y -> binaryFunc x y

f :: Integer -> Integer
f = binaryPartialApplication (+) 5

g :: Integer -> Integer
g = binaryPartialApplication (-) 5

入出力結果(Terminal, Zsh)

% runghc sample.hs 
15
-5
%