関数型プログラミングの基礎 再帰関数の記述 リストでの再帰 lengthを実装、パターンマッチング
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT1(関数型プログラミングの基礎)、LESSON 8(再帰関数の記述)、8.2(リストでの再帰)、lengthを実装するのクイックチェック8-1の解答を求めてみる。
コード
-- Q8-1
myLength :: Num p => [a] -> p
myLength [] = 0
myLength (x : xs) = 1 + myLength xs
入出力結果(Terminal, Zsh)
% ghci
GHCi, version 8.10.4: https://www.haskell.org/ghc/ :? for help
macro 'doc' overwrites builtin command. Use ':def!' to overwrite.
(0.00 secs, 0 bytes)
(0.00 secs, 0 bytes)
Loaded GHCi configuration from /.../.ghc/ghci.conf
Prelude
λ> :load sample1
[1 of 1] Compiling Main ( sample1.hs, interpreted )
Ok, one module loaded.
(0.03 secs,)
*Main
λ> myLength []
0
it :: Num p => p
(0.05 secs, 62,072 bytes)
*Main
λ> myLength [1]
1
it :: Num p => p
(0.00 secs, 60,072 bytes)
*Main
λ> myLength [1,2]
2
it :: Num p => p
(0.00 secs, 60,144 bytes)
*Main
λ> myLength [1..10]
10
it :: Num p => p
(0.01 secs, 62,928 bytes)
*Main
λ> myLength ""
0
it :: Num p => p
(0.00 secs, 59,744 bytes)
*Main
λ> myLength "a"
1
it :: Num p => p
(0.00 secs, 60,000 bytes)
*Main
λ> myLength "ab"
2
it :: Num p => p
(0.00 secs, 60,240 bytes)
*Main
λ> myLength "日本語"
3
it :: Num p => p
(0.00 secs, 60,480 bytes)
*Main
λ> :quit
Leaving GHCi.
%