Boeken
Haskell
Hoofdstuk 7. Data en Tijden
Een datum in de toekomst of het verleden berekenen

Haskell:
Een datum in de toekomst of het verleden berekenen

Hoe te:

Haskell gebruikt bibliotheken zoals time om met datums om te gaan. Hier is hoe je dagen of maanden aan een datum toevoegt, of ze aftrekt om een verleden datum te vinden.

import Data.Time

-- Dagen aan de huidige datum toevoegen
addDaysToCurrent :: Integer -> IO Day
addDaysToCurrent n = do
  today <- getCurrentTime
  timezone <- getCurrentTimeZone
  let localToday = utcToLocalTime timezone today
  return $ addDays n (localDay localToday)

-- Gebruik: addDaysToCurrent 10 om 10 dagen aan de huidige datum toe te voegen

-- Een toekomstige of verleden datum berekenen door dagen toe te voegen of af te trekken
calculateDate :: Day -> Integer -> Day
calculateDate start n = addDays n start

-- Voorbeeldgebruik:
-- let futureDate = calculateDate (fromGregorian 2023 1 1) 90

-- Om maanden en jaren te behandelen, gebruiken we `addGregorianMonthsClip` en `addGregorianYearsClip`
calculateDateMonths :: Day -> Integer -> Day
calculateDateMonths start n = addGregorianMonthsClip n start

-- Gebruik:
-- let futureMonth = calculateDateMonths (fromGregorian 2023 1 1) 2

-- Een datum uitvoeren in het formaat JJJJ-MM-DD
printFormattedDate :: Day -> IO ()
printFormattedDate date = putStrLn $ formatTime defaultTimeLocale "%F" date

-- Gebruik:
-- printFormattedDate futureDate

Diepgaande duik

In Haskell grijpen we vaak naar de time bibliotheek voor datum berekeningen. Deze bibliotheek biedt typen en functies voor DateTime rekenkunde, ontleding en opmaak. Historisch gezien zouden mensen handmatig datums aanpassen, maar bibliotheken zoals time behandelen de eigenaardigheden van kalenders (zoals schrikkeljaren).

Alternatieven voor time zijn Data.Time.Calendar.OrdinalDate en Data.Time.Clock.POSIX voor verschillende behoeften, zoals werken met weeknummers of tijdstempels.

Wat betreft de implementatie is het berekenen van datums verrassend complex. Zelfs met time zorgen functies zoals addGregorianMonthsClip ervoor dat de resulterende datum geldig is. Bijvoorbeeld, het toevoegen van één maand aan 31 januari zal “clippen” naar de laatste dag van februari (ofwel de 28ste of 29ste), en niet naar 3 maart.

Zie ook

Twee datums vergelijken