計算機科学のブログ

関数型プログラミングの基礎 再帰のルールとパターンマッチング 空のリストでエラーにならないtail関数の実装

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT1(関数型プログラミングの基礎)、LESSON7(再帰のルールとパターンマッチング)、7.5(練習問題)Q7-1の解答を求めてみる。

コード

myTail :: [a] -> [a]
myTail [] = []
myTail (_ : xs) = xs

main :: IO ()
main = do
  mapM_ (print . myTail) [[], [1], [1 .. 10]]
  mapM_ (print . myTail) ["", "a", "abcde"]

入出力結果(Terminal, Zsh)

% runghc sample1.hs
[]
[]
[2,3,4,5,6,7,8,9,10]
""
""
"bcde"
%