readMaybe Mit Liste der natürlichen Zahlen lesen

Question

ich diese Funktion verwenden Liste der natürlichen Zahlen von Zeichenfolge in folgendem Format zu lesen: [1, 2, 3]:

readMaybeIntList :: String -> Maybe [Int] 
readMaybeIntList line = case readMaybe line of 
          Just l -> return l 
          Nothing -> Nothing 

es funktioniert Gerade jetzt nur für ganze Zahlen - was das sein würde, korrekte Art und Weise zu überprüfen, ob die Zahlen natürlich sind? Sollte ich die Just l Klausel ändern, um zu überprüfen, ob alle Zahlen >=0 sind? Ist es eine gute Idee, Nothing von solch verschachtelten Just Klausel zurückzugeben?

Answer 1

Nun, wenn du gehst, return zu verwenden sowieso die Monade Instanz für Maybe aufzurufen, dann denke ich, ich würde wahrscheinlich schreiben:

import Text.Read 
import Control.Monad 

readMaybeNatList :: String -> Maybe [Int] 
readMaybeNatList line = do 
    ns <- readMaybe line 
    guard $ all (>=0) ns 
    return ns 

, die eine idiomatische Anwendung des Maybe Monade ist. Ob es klarer als die explizite Pattern-Matching (und Monade frei) Alternative:

readMaybeNatList' :: String -> Maybe [Int] 
readMaybeNatList' line = 
    case readMaybe line of 
    Just ns | all (>=0) ns -> Just ns 
    _ -> Nothing 

ist wahrscheinlich eine Frage der Stellungnahme und Zielgruppe.

Answer 2

könnten Sie do -Notation und guard von Control.Monad verwenden, um die übermäßige Musteranpassung zu vermeiden:

import Text.Read 
import Control.Monad 


readMaybeNatural :: String -> Maybe Int 
readMaybeNatural str = do 
    n <- readMaybe str 
    guard $ n >= 0 
    return n 


readMaybeNaturals :: String -> Maybe [Int] 
readMaybeNaturals = 
    sequence . map readMaybeNatural . words