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

Elm:
Een datum uit een string parsen

Hoe te:

Elm gebruikt de Date module om met datums om te gaan, maar voor zover mijn kennis reikt in begin 2023, is er geen ingebouwde Elm-bibliotheek voor het parseren van datums uit tekenreeksen. Je zult waarschijnlijk een pakket zoals justinmimbs/date gebruiken om de taak uit te voeren. Zo ga je ermee om:

import Date
import Date.Extra.Parse as DateParse

-- Een datum uit een tekenreeks parseren
parseDate : String -> Maybe Date
parseDate dateString =
    DateParse.fromIsoString dateString

-- Voorbeeld van gebruik
main =
    case parseDate "2023-04-01" of
        Just date ->
            -- Succesvol geparseerd, doe iets met `date`
            ...

        Nothing ->
            -- Parsen mislukt, fout afhandelen
            ...

Voorbeelduitvoer voor het parseren van "2023-04-01" zou een Date waarde zijn, en bij mislukking krijg je Nothing.

Diepere Duik

In de vroege dagen werden JavaScript’s Date methoden vaak direct gebruikt in Elm via poorten, maar dit was niet ideaal. Dingen verbeterden met pakketten zoals justinmimbs/date, die meer Elm-achtige manieren bieden om met datums om te gaan. Elm’s sterke typesysteem en nadruk op betrouwbaarheid geven de voorkeur aan expliciete parsemethoden, waar mislukking duidelijk wordt aangegeven door Maybe types, in tegenstelling tot JavaScript’s soms onvoorspelbare datum parsing.

Vanaf de huidige versie zijn er geen ingebouwde string-naar-datum functies in Elm’s kern Date module, wat verklaart waarom gemeenschapspakketten zo belangrijk zijn. Alternatieven zoals ryannhg/date-format kunnen datums formatteren naar tekenreeksen, maar parseren is een ander beest—daarom is justinmimbs/date meer geschikt voor deze taak.

Met betrekking tot implementatie, houdt Elm’s aanpak je app robuust: ongeldige datums zullen het niet onverwacht laten crashen, dankzij de duidelijke Maybe Date signaalgeving of het parsen geslaagd is.

Zie Ook

Het huidige datum ophalen