コンテキストでの型の操作 do表記を使ってMonadを扱いやすくする do表記の再考 >>=、書き換え

入門Haskellプログラミング
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 31(do表記を使ってMonadを扱いやすくする)、31.1(do表記の再考)、クイックチェック 31-1の解答を求めてみる。

コード

lesson/app/Main.hs

module Main (main) where

import Lib ()

echo1 :: IO ()
echo1 = getLine >>= putStrLn

echo2 :: IO ()
echo2 = do
  line <- getLine
  putStrLn line

main :: IO ()
main = do
  echo1
  echo2
  echo1 >> echo2

lesson/src/Lib.hs

module Lib
    ( someFunc
    ) where

someFunc :: IO ()
someFunc = putStrLn "someFunc"

入出力結果(Terminal, Zsh)

% stack exec lesson-exe
Hello, world!
Hello, world!
Hello, world!
Hello, world!
Hello, 日本語!
Hello, 日本語!
Hello, 日本語! 
Hello, 日本語!
%