aide readMaybe à lire la liste des nombres naturels

Question

J'utilise cette fonction pour lire la liste des nombres naturels de chaîne dans le format suivant: [1, 2, 3]:

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

En ce moment, il ne fonctionne que pour les entiers - quelle serait la manière correcte de vérifier si les nombres sont naturels? Dois-je modifier la clause Just l pour vérifier si tous les numéros sont >=0? Est-ce une bonne idée de retourner Nothing de telle clause imbriquée Just?

Answer 1

Eh bien, si vous allez utiliser return de toute façon d'invoquer l'instance monade pour Maybe, je pense Je serais probablement écrire:

import Text.Read 
import Control.Monad 

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

qui est une application plus idiomatiques du Maybe monade. Que ce soit plus clair que le modèle de correspondance explicite (et sans monade) alternatif:

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

est probablement une question d'opinion et le public visé.

Answer 2

Vous pouvez utiliser do -notation et guard de Control.Monad pour éviter la mise en correspondance de motif excessif:

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