計算機科学のブログ

実践Haskell Monad型クラス HaskellのエラーとEither型 head関数、部分関数、エラー パターンマッチ

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT7(実践Haskell)、LESSON38(HaskellのエラーとEither型)、38.1(head関数、部分関数、エラー)のクイックチェック 38-1の解答を求めてみる。

コード

myTakePM :: Int -> [a] -> [a]
myTakePM _ [] = []
myTakePM 0 _ = []
myTakePM n (x:xs) = x:myTakePM (n - 1) xs

nums :: [Integer]
nums = [1, 2, 3]

main :: IO ()
main = do
    mapM_ (\n -> print $ myTakePM n nums)
          [2, 4]

入出力結果(Terminal, Zsh)

% runghc sample01.hs 
[1,2]
[1,2,3]
%