必要になるまで評価されない、という遅延評価の理解だけでは、 一見、以下の実行例は不可解。Prelude> :m Control.MonadPrelude Control.Monad> liftM3 maybe (fail "$$$$") (return id) (return (Just 3.14))*** Exception: user error ($$$$)Prelude> :m C…

read 関数の Exception をどう扱ってよいか迷ってたところ、クールなわざを見つけた。 How to catch a no parse exception from the read function in Haskell? - Stack Overflow maybeRead = fmap fst . listToMaybe . reads 関数の重ね方とか勉強になるな…

many p の p が空文字列でも成功する場合、例外を起こす。*Main Text.Parsec> parseTest (many (many (char '*'))) ""*** Exception: Text.ParserCombinators.Parsec.Prim.many: combinator 'many' is applied to a parser that accepts an empty string.*Ma…

関数型プログラミング言語Haskell Part1165 GHC-6.12.1からSystem.IOが内部エンコーディングローカルエンコーディングと改行コードの自動変換をするらしい。 ttp://ghcmutterings.wordpress.com/2009/09/30/heads-up-what-you-need-to-know-about-unicode-io…

こちらを読まれたし。 [haskell]Haskellで任意精度小数を扱う - think and errorData.Fixed は、固定されるのは小数部の桁数だけで、整数部の桁数は固定されない。 リンク先は固定小数点数という用語は使っていないし、正確には固定小数点数ではないかも。リ…

many の仕様は次のようなものと考えられる。many p は、入力へのパーサ p の適用が続けて ｎ回（ｎ≧0、many1 p ならｎ≧1）成功し、その時点で、入力が空となっているか、 またはｎ＋１回目で p が入力を消費せずに失敗する場合、成功する。many の実装に使わ…