factal https://blog.hatena.ne.jp/factal/ うおっ https://factal.hatenadiary.org/ Haskell アクションと型コンストラクタ アクションと型コンストラクタの違いって何だろう。あと、どうやって区別するんだろう。 例えば getLine の型を見てみる。 ghci> :t getLine getLine :: IO String これって、型コンストラクタ IO が、具体型 String を受け取った型に見える。 種類も型コンストラクタと同じだし。 ghci> :k IO IO :: * -> * ghci> :k Maybe Maybe :: * -> * また後で解説が出てくるのかな。 （追記）出てきた。 I/O アクションが特別なのは、 main 関数の中に入っていると（あるいは GH… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffactal.hatenadiary.org%2Fentry%2F20120825%2F1345886444" title="すごいHaskell8章 - うおっ" 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-08-25 18:20:44 rich https://factal.hatenadiary.org/entry/20120825/1345886444 1.0 100%