matarillo https://blog.hatena.ne.jp/matarillo/ HaskellとF#について書くmatarilloの日記（アーカイブ） https://functional-matarillo.hatenadiary.jp/ 仕事が忙しくて書けてなかったけど、忘れたわけではない。 入出力の型 IO aの簡易説明、っていうかこのWorldを使った説明はごまかしだよなあ。 写経したコードを試しに実行する時に困るんだよねえ。 カリー化によって（最近、ScalaやGroovy界隈で話題だったね）、引数をとるIO型を定義しなくても、a -> IO bで充分というのは納得。 基本アクション getCharとputCharを例にとったreturnの説明。 第8章でもreturnは出てきたけど、そこではオレオレreturnだったし、副作用の話はしていなかった。 モナドについては教科書以外で自習しておいたから、この節は適当に読み飛ば… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffunctional-matarillo.hatenadiary.jp%2Fentry%2F2011%2F09%2F08%2F003727" title="第9章 対話プログラム #1 - HaskellとF#について書くmatarilloの日記（アーカイブ）" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-09-08 00:37:27 rich https://functional-matarillo.hatenadiary.jp/entry/2011/09/08/003727 1.0 100%