Boeken
Haskell
Hoofdstuk 7. Data en Tijden
Een datum uit een string parsen

Haskell:
Een datum uit een string parsen

Hoe:

Haskell biedt meerdere manieren om data te parsen, maar laten we ons concentreren op de time bibliotheek en een eenvoudig voorbeeld met parseTimeM. Zorg ervoor dat je het time pakket hebt geïnstalleerd.

import Data.Time.Format (parseTimeM, defaultTimeLocale)

main :: IO ()
main = do
  let dateString = "2023-03-21"
  let parsedDate = parseTimeM True defaultTimeLocale "%Y-%m-%d" dateString :: IO (Maybe Day)
  
  resultaat <- parsedDate
  case resultaat of
    Just dag -> putStrLn $ "Geparste datum: " ++ show dag
    Nothing -> putStrLn "Datum parsen mislukt."

-- Uitvoer moet zijn: Geparste datum: 2023-03-21

Diepere Duik

Historisch gezien is het parsen van data verschillend aangepakt in talen en bibliotheken, waarbij velen variaties gebruiken op de strftime patronen van C. De time bibliotheek van Haskell spiegelt deze aanpak voor consistentie. Alternatieven voor time zijn onder andere het gebruik van het old-time pakket, dat nu verouderd is, of externe bibliotheken zoals thyme of chronos.

Wat betreft implementatie, parsing in Haskell is type-veilig, vandaar het gebruik van Maybe in het voorbeeld om mislukkingen bij het parsen te behandelen. De functie parseTimeM maakt gebruik van type-inferentie om het retourtype te bepalen, wat het flexibel maakt. Het begrijpen van de formaatspecificators, zoals %Y-%m-%d voor jaar-maand-dag, is cruciaal.

Het sterke typesysteem van Haskell zorgt ervoor dat, eenmaal een datum is geparseerd, duidelijk en onmiskenbaar is wat voor type het is, waardoor runtime fouten gerelateerd aan datummanipulatie verminderd worden. Echter, deze striktheid betekent dat je rekening moet houden met gevallen waarin de invoer niet overeenkomt met het verwachte patroon, vandaar de patroonmatching op Just en Nothing.

Zie Ook

Het huidige datum ophalen