計算機科学のブログ

コンテキストでの型の操作 do表記を使ってMonadを扱いやすくする do表記の再考 >>=演算子の糖衣構文

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

コード

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

入出力結果(Terminal, Zsh)

% ghci
GHCi, version 8.10.6: https://www.haskell.org/ghc/  :? for help
macro 'doc' overwrites builtin command.  Use ':def!' to overwrite.
(0.00 secs, 0 bytes)
(0.00 secs, 0 bytes)
Loaded GHCi configuration from /Users/…/.ghc/ghci.conf
Prelude
λ> :load sample01.hs 
[1 of 1] Compiling Main             ( sample01.hs, interpreted )
Ok, one module loaded.
(0.01 secs,)
*Main
λ> echo
Hello, World!
Hello, World!
it :: ()
(4.17 secs, 100,112 bytes)
*Main
λ> :quit
Leaving GHCi.
%