計算機科学のブログ

コンテキストでの型の操作 リストモナドとリスト内包表記 リストモナドを使ってリストを生成する 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]
%