Warum gibt Haskell's Prelude.read kein Maybe zurück?

Question

Gibt es einen guten Grund, warum der Typ von Prelude.read

read :: Read a => String -> a

statt der Rückgabe einer Maybe Wert?

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

Da die Zeichenkette möglicherweise nicht in Haskell geparst werden kann, wäre dann nicht letzteres die natürlichere Lösung?

Oder sogar eine Either String a donde Left würde die ursprüngliche Zeichenkette enthalten, wenn sie nicht geparst wurde, und Right das Ergebnis, wenn es so wäre?

Edita:

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

Answer 1

bearbeiten : Ab GHC 7.6, readMaybe ist verfügbar in der Text.Read Modul im Basispaket, 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 wird sich in nächster Zeit nicht ändern, denn das würde viele Dinge kaputt machen. Allerdings gibt es sollte ein sein maybeRead Funktion.

Warum gibt es sie nicht? Die Antwort lautet "Trägheit". Es gab eine Diskussion im Jahr '08 die durch eine Diskussion über "Fail" entgleist ist.

Die gute Nachricht ist, dass die Leute hinreichend davon überzeugt waren, die Bibliotheken nicht mehr zu vernachlässigen. Die schlechte Nachricht ist, dass der Vorschlag im Durcheinander unterging. Dort sollte eine solche Funktion sein, obwohl eine solche leicht zu schreiben ist (und es gibt Zillionen sehr ähnlicher Versionen, die in vielen Codebasen herumschwirren).

Siehe auch diese Diskussion .

Ich persönlich verwende die Version aus dem sichere Verpackung .

Answer 2

Ja, es wäre praktisch, wenn es eine Lesefunktion gäbe, die Maybe zurückgibt. Sie können selbst eine erstellen:

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

Answer 3

Abgesehen von Trägheit und/oder wechselnden Einsichten könnte ein weiterer Grund darin liegen, dass es ästhetisch ansprechend ist, eine Funktion zu haben, die als eine Art Umkehrung von show . Das heißt, Sie wollen, dass read . show ist die Identität (für Typen, die eine Instanz von Show y Read ) und dass show . read ist die Identität im Bereich von show (d.h. show . read . show == show )

Mit einer Maybe in der Art von read bricht die Symmetrie mit show :: a -> String .

Answer 4

Wie @augustss schon sagte, können Sie Ihre eigene sichere Lesefunktion erstellen. Allerdings ist seine readMaybe ist nicht ganz konsistent mit read, da es Leerzeichen am Ende einer Zeichenkette nicht ignoriert. (Ich habe diesen Fehler einmal gemacht, ich erinnere mich nicht mehr genau an den Kontext)

Die Betrachtung der Definition von read im Haskell 98-Bericht können wir es ändern, um eine readMaybe die vollkommen im Einklang steht mit read und das ist nicht allzu lästig, weil alle Funktionen, von denen es abhängt, im Vorspiel definiert sind:

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

Answer 5

Diese Funktion (genannt readMaybe ) ist jetzt im Haskell-Vorspiel enthalten! (Ab der aktuellen Basis -- 4.6)