純粋関数型言語を使う上でもっとも問題となるのはやはりIOだろう。 現在用いられている方法はおおよそ3つある。 ストリーム モナド 一意性型付け Haskellは主にモナドを使うわけであるが、 入出力が文字列に限定される場合はinteract String) -> IO() の型を…