2012-08-25から1日間の記事一覧
アクションと型コンストラクタ アクションと型コンストラクタの違いって何だろう。あと、どうやって区別するんだろう。 例えば getLine の型を見てみる。 ghci> :t getLine getLine :: IO String これって、型コンストラクタ IO が、具体型 String を受け取…
アクションと型コンストラクタ アクションと型コンストラクタの違いって何だろう。あと、どうやって区別するんだろう。 例えば getLine の型を見てみる。 ghci> :t getLine getLine :: IO String これって、型コンストラクタ IO が、具体型 String を受け取…