コンテキストでの型の操作 リストモナドとリスト内包表記 リストモナドを使ってリストを生成する guard関数 filter関数の実装
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 32(リストモナドとリスト内包表記)、32.1(リストモナドを使ってリストを生成する)のクイックチェック 32-1、guard関数のクイックチェック 32-2の解答を求めてみる。
コード
import Control.Monad
squareOfNumber :: [(Int, Int)]
squareOfNumber = do
n <- [1..10]
return (n, n^2)
myFilter :: (a -> Bool) -> [a] -> [a]
myFilter f xs = do
x <- xs
guard (f x)
return x
main :: IO ()
main = do
putStrLn "クイックチェック 32-1"
print squareOfNumber
putStrLn "クイックチェック 32-2"
print (myFilter even [1..10])
print (myFilter odd [1..10])
入出力結果(Terminal, Zsh)
% runghc sample01.hs
クイックチェック 32-1
[(1,1),(2,4),(3,9),(4,16),(5,25),(6,36),(7,49),(8,64),(9,81),(10,100)]
クイックチェック 32-2
[2,4,6,8,10]
[1,3,5,7,9]
%