08/01/18 03:43:26
>>163
「モナドが必要」って，一体何をそんなに仰々しく構えているのか．
何も考えずに putStrLn すればいいんですよ．
(write "Hello world!") (newline) と書くとき，Schemeの意味論を思い浮かべる？
;; そもそも意味論はRnRSの一部しか記述してないけど
08/01/18 03:43:26
>>163
「モナドが必要」って，一体何をそんなに仰々しく構えているのか．
何も考えずに putStrLn すればいいんですよ．
(write "Hello world!") (newline) と書くとき，Schemeの意味論を思い浮かべる？
;; そもそも意味論はRnRSの一部しか記述してないけど