Warum gibt Haskells Prelude.read kein Vielleicht zurück?

Gibt es einen guten Grund, warum die Art von Prelude.read ist

read :: Read a => String -> a

anstatt einen MaybeWert zurückzugeben?

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

Wäre letzteres nicht natürlicher, da die Zeichenfolge möglicherweise nicht analysierbar ist, Haskell?

Oder sogar eine Either String a, wo Leftwürde die ursprüngliche Zeichenfolge enthalten, wenn sie nicht analysiert würde, und Rightdas Ergebnis, wenn dies der Fall wäre?

Bearbeiten:

Ich versuche nicht, andere dazu zu bringen, einen entsprechenden Wrapper für mich zu schreiben. Ich suche nur die Bestätigung, dass dies sicher ist.

Bearbeiten : Ab GHC 7.6 readMaybeist das Text.ReadModul im Basispaket verfügbar , zusammen mit readEither: http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Read.html#v: readMaybe

Gute Frage! Die Art des Lesens selbst ändert sich nicht so schnell, da dies viele Dinge kaputt machen würde. Es sollte jedoch eine maybeReadFunktion geben.

Warum gibt es nicht? Die Antwort lautet "Trägheit". Es gab eine Diskussion in '08, die durch eine Diskussion über "scheitern" entgleist wurde.

Die gute Nachricht ist, dass die Leute ausreichend überzeugt waren, um nicht in den Bibliotheken zu scheitern. Die schlechte Nachricht ist, dass der Vorschlag im Shuffle verloren gegangen ist. Es sollte eine solche Funktion sein, obwohl man ist einfach zu schreiben (und es gibt Myriaden von sehr ähnliche Versionen im Umlauf viele Codebases).

Siehe auch diese Diskussion .

Persönlich verwende ich die Version aus dem sicheren Paket .

Ja, es wäre praktisch mit einer Lesefunktion, die Vielleicht zurückgibt. Sie können selbst eine erstellen:

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

Abgesehen von Trägheit und / oder sich ändernden Einsichten könnte ein weiterer Grund sein, dass es ästhetisch ansprechend ist, eine Funktion zu haben, die als eine Art Umkehrung von wirken kann show. Das heißt, Sie möchten, dass dies read . showdie Identität ist (für Typen, die eine Instanz von Showund sind Read) und dass dies show . readdie Identität im Bereich von show(dh show . read . show == show) ist.

Ein Maybein der Art von readbricht die Symmetrie mit show :: a -> String.

Wie @augustss hervorhob, können Sie Ihre eigene sichere Lesefunktion erstellen. Jedoch seinreadMaybe stimmt jedoch nicht vollständig mit dem Lesen überein, da Leerzeichen am Ende eines Strings nicht ignoriert werden. (Ich habe diesen Fehler einmal gemacht, ich erinnere mich nicht ganz an den Kontext)

Wenn wir uns die Definition des Lesens im Haskell 98-Bericht ansehen, können wir sie so ändern, dass sie eine implementiert readMaybe, die perfekt mit dem übereinstimmt. readDies ist nicht allzu unpraktisch, da alle Funktionen, von denen es abhängt, im Prelude definiert sind:

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

Diese Funktion (aufgerufen readMaybe) befindet sich jetzt im Haskell-Vorspiel! (Stand der aktuellen Basis - 4.6)