計算機科学のブログ

関数型プログラミングの基礎 ラムダ関数とレキシカルスコープ ラムダ式への書き換え 平方の和と和の平方

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT1(関数型プログラミングの基礎)、LESSON3(ラムダ関数とレキシカルスコープ)、3.6(練習問題)Q3-1の解答を求めてみる。

コード

sumSquareOrSquareSum :: (Num a, Ord a) => a -> a -> a
sumSquareOrSquareSum x y =
  ( \sumSquare squareSum ->
      if sumSquare > squareSum
        then sumSquare
        else squareSum
  )
    (x ^ 2 + y ^ 2)
    ((x + y) ^ 2)

main :: IO ()
main = do
  print (2 ^ 2 + 3 ^ 2, (2 + 3) ^ 2)
  print $ sumSquareOrSquareSum 2 3
  print $ (2 ^ 2 + (-3) ^ 2, (2 -3) ^ 2)
  print $ sumSquareOrSquareSum 2 (-3)

入出力結果(Terminal, Zsh)

% runghc sample1.hs
(13,25)
25
(13,1)
13
%