計算機科学のブログ

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

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

コード

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

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

入出力結果(Terminal, Zsh)

% runghc sample03.hs
4
4
4
4
4
4
4
4
4
4
4
%