計算機科学のブログ

関数型プログラミングの基礎 高階関数 リスト、要素、elem関数のfilter関数とlength関数による実装

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT1(関数型プログラミングの基礎)、LESSON9(高階関数)、9.6(練習問題)Q9-1の解答を求めてみる。

コード

myElem :: Eq a => a -> [a] -> Bool
myElem x xs =
  let ys = filter (== x) xs
   in length ys /= 0

ns :: [Integer]
ns = [1 .. 10]

ms :: [Integer]
ms = [-10, 0, 1, 5, 10, 11, 100]

main :: IO ()
main = do
  print ns
  print ms
  mapM_ (print . \n -> myElem n ns) ms

入出力結果(Terminal, Zsh)

% runghc sample1.hs
[1,2,3,4,5,6,7,8,9,10]
[-10,0,1,5,10,11,100]
False
False
True
True
True
False
False
%