関数型プログラミングの基礎 - ラムダ関数とレキシカルスコープ - 独自のwhere句を記述する

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT1(関数型プログラミングの基礎)、LESSON 3(ラムダ関数とレキシカルスコープ)、3.2(独自のwhere句を記述する)、クイックチェック 3-2の解答を求めてみる。

コード

sample2.hs

main :: IO ()
main = do
    print $ doubleDouble 0
    print $ doubleDoubleWhere 0
    print $ doubleDouble 1
    print $ doubleDoubleWhere 1
    print $ doubleDouble 2
    print $ doubleDoubleWhere 2
    print $ doubleDouble 5
    print $ doubleDoubleWhere 5

doubleDouble :: Num a => a -> a
doubleDouble x = (\dubs -> dubs * 2) (x * 2)

doubleDoubleWhere :: Num a => a -> a
doubleDoubleWhere x = dubs * 2
    where dubs = x*2

入出力結果(Terminal, Zsh)

% runghc sample2.hs 
0
0
4
4
8
8
20
20
%