Elm:
Conversione di una data in una stringa

How to:

In Elm, usiamo il modulo Date per gestire le date e elm/time per la formattazione. Ecco un esempio:

import Time exposing (Posix)
import Date exposing (Date)
import Date.Format exposing (format)

-- Supponiamo di avere una data Posix
exampleDate : Posix
exampleDate = ...

convertDateToString : Posix -> String
convertDateToString date =
    date
        |> Date.fromPosix
        |> format "dd/MM/yyyy"

-- Uso della funzione
main =
    convertDateToString exampleDate
    -- Ad esempio, "25/03/2023"

Deep Dive

Elm, essendo funzionale e tipato staticamente, affronta la manipolazione delle date in modo prevedibile. Il pacchetto elm/time venne introdotto in Elm 0.19, sostituendo il precedente elm-lang/core. Prima di elm/time, formattare date era più contorto.

Alternative comuni:

• Usare Date.toIsoString per un formato standard ISO-8601.
• Scrivere funzioni personalizzate per formati specifici.

Dettagli implementativi:

• Posix rappresenta istanti temporali con precisione al millisecondo dal 1° gennaio 1970, noto come Unix Epoch.
• elm/time non gestisce timezone e DST direttamente – dipende da come li gestisce il browser.

See Also

• Elm Date
• Elm Time
• Date Format – per formati di data più complessi.
• ISO-8601 on Wikipedia – per comprendere il formato di data standard.