HaskellのPrelude.readがMaybeを返さないのはなぜですか？

Prelude.readのタイプがである正当な理由はありますか

read :: Read a => String -> a

Maybe値を返すのではなく？

read :: Read a => String -> Maybe a

文字列は解析可能なHaskellに失敗する可能性があるため、後者の方がより自然ではないでしょうか？

あるいはEither String a、どこLeftが解析、およびなかった場合は、元の文字列を含んでいるでしょうRightそれがなかった場合の結果？

編集：

他の人に対応するラッパーを書かせてもらうつもりはありません。安全であるという安心感を求めているだけです。

編集：GHC 7.6以降、次のパッケージとともに、基本パッケージのモジュールでreadMaybe利用可能です：http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Read.html#v：たぶんText.ReadreadEither

すばらしい質問です。読み取り自体の種類は、多くのことを壊すため、すぐに変わることはありません。しかし、そこになければならないことmaybeReadの機能。

なぜそこにないのですか？答えは「慣性」です。「失敗」をめぐる議論によって混乱した2008年の議論がありました。

良い知らせは、人々は図書館で失敗から脱却し始めるのに十分確信しているということです。悪いニュースは、提案がシャッフルで失われたことです。そのような関数はあるはずですが、書くのは簡単です（そして、非常によく似たバージョンが無数にあり、多くのコードベースに浮かんでいます）。

この議論も参照してください。

個人的には、安全なパッケージのバージョンを使用しています。

ええ、それは多分多分を返す読み取り関数で便利でしょう。あなたは自分で作ることができます：

readMaybe :: (Read a) => String -> Maybe a
readMaybe s = case reads s of
              [(x, "")] -> Just x
              _ -> Nothing

慣性や洞察の変化とは別に、もう1つの理由は、の一種の逆関数として機能する機能があることは、見た目が楽しいことですshow。つまり、それがread . show（Showおよびのインスタンスである型のRead）show . readIDであり、それがshow（つまりshow . read . show == show）の範囲のIDであることが必要です。

持つMaybeの種類にread休憩と対称性show :: a -> String。

@augustssが指摘したように、独自の安全な読み取り関数を作成できます。ただし、readMaybe文字列の末尾の空白を無視しないため、読み取りと完全には一致していません。（私は一度この間違いをしました、私はコンテキストを完全に覚えていません）

Haskell 98レポートのreadの定義を見て、readMaybeと完全に一致するaを実装するように変更できreadます。依存するすべての関数がPreludeで定義されているため、これはそれほど不便ではありません。

readMaybe        :: (Read a) => String -> Maybe a
readMaybe s      =  case [x | (x,t) <- reads s, ("","") <- lex t] of
                         [x] -> Just x
                         _   -> Nothing

この関数（と呼ばれますreadMaybe）がHaskellプレリュードに登場しました！（現在のベース-4.6）