関数型プログラミングの基礎 - ラムダ関数とレキシカルスコープ - ラムダ関数の記述、let式

開発環境

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

コード

sample.hs

main :: IO ()
main = do
  print $ sumSquareOrSquareSum 2 3
  print $ sumSquareOrSquareSum (-2) 3
  print $ counter 1
  print $ counter 2

-- 1
sumSquareOrSquareSum :: Integer -> Integer -> Integer
sumSquareOrSquareSum = (\x y -> 
    (\sumSquare squareSum -> 
        if sumSquare > squareSum
            then sumSquare
            else squareSum)
    (x^2 + y^2) ((x+y)^2))

-- 2
counter :: Num p => p -> p
counter x = (\x -> (\x -> (\x -> x) (x + 1)) (x + 1)) x

入出力結果(Terminal, Zsh)

% runghc sample.hs
25
13
3
4
%