計算機科学のブログ

関数型プログラミングの基礎 関数と関数型プログラミング 変数、where句、GHCi、letキーワード

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT1(関数型プログラミングの基礎)、LESSON2(関数と関数型プログラミング)、2.3(関数型プログラミングの実用的価値)、変数のクイックチェック 2-1、変更可能な変数のクイックチェック 2-2の解答を求めてみる。

コード

doublePlusTwo x = doubleX + 2
  where
    doubleX = 2 * x

入出力結果(Terminal, Zsh)

% ghci sample02.hs 
GHCi, version 8.10.7: https://www.haskell.org/ghc/  :? for help
Loaded package environment from /Users/…/.ghc/x86_64-darwin-8.10.7/environments/default
macro 'doc' overwrites builtin command.  Use ':def!' to overwrite.
(0.00 secs, 0 bytes)
(0.00 secs, 0 bytes)
Loaded GHCi configuration from /Users/…/.ghc/ghci.conf
[1 of 1] Compiling Main             ( sample02.hs, interpreted )
Ok, one module loaded.
(0.01 secs,)
*Main
λ> doublePlusTwo 1
4
it :: Num a => a
(0.06 secs, 69,632 bytes)
*Main
λ> doublePlusTwo 2
6
it :: Num a => a
(0.01 secs, 67,320 bytes)
*Main
λ> doublePlusTwo 11
24
it :: Num a => a
(0.01 secs, 68,056 bytes)
*Main
λ> let x = "simple"
x :: [Char]
(0.00 secs, 65,176 bytes)
*Main
λ> x
"simple"
it :: [Char]
(0.01 secs, 72,856 bytes)
*Main
λ> let x = 6
x :: Num p => p
(0.00 secs, 65,168 bytes)
*Main
λ> x == 6
True
it :: Bool
(0.03 secs, 69,408 bytes)
*Main
λ> :quit 
Leaving GHCi.
%