関数型プログラミングの基礎 - ラムダ関数とレキシカルスコープ - ラムダからletへ:カスタム変数を変更可能にする

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT1(関数型プログラミングの基礎)、LESSON 3(ラムダ関数とレキシカルスコープ)、3.3(ラムダからletへ:カスタム変数を変更可能にする)、クイックチェック 3-3の解答を求めてみる。

コード

sample3.hs

main :: IO ()
main = do
    print $ overrideBefore 0
    print $ overrideBefore 1
    print $ overrideBefore "haskell"
    print $ override 0
    print $ override 1
    print $ override "haskell"

overrideBefore :: Num a => p -> a
overrideBefore x =
  let x = 2
   in let x = 3
       in let x = 4
           in x

override :: Num p1 => p2 -> p1
override x = (\x -> (\x -> (\x -> x) 4) 3) 2

入出力結果(Terminal, Zsh)

% runghc sample3.hs 
4
4
4
4
4
4
%