yokotaso https://blog.hatena.ne.jp/yokotaso/ (カチャカチャカチャ…)　(ッターン！) https://yokotaso.hatenadiary.org/ Haskell http://www.amazon.co.jp/dp/0521692695 p.88-94 電卓を作るというところ。前の章で(>>=)を粘って考えたおかげで、今日の部分はかなりすっきり読めた。windowsでやってたんだけど、急遽linuxにPCを切り替えて、作業をすることに。 おもしろい定義がしてあるところがあって、Worldという型をつかってハードウェアの状態を説明する。 type IO = World -> World type IO a = World -> (a, World) 実際には、Curryを活用して、ハードウェアの状態を隠蔽するんだそうな。 -- type construc… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyokotaso.hatenadiary.org%2Fentry%2F20120509%2F1336570492" title="Programing in Haskell / Chapter.9 Interactive Programs - (カチャカチャカチャ…)　(ッターン！)" 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 2012-05-09 22:34:52 rich https://yokotaso.hatenadiary.org/entry/20120509/1336570492 1.0 100%