Haskell:
Conversione di una data in una stringa

How to: (Come fare:)

import Data.Time

-- Assume che abbiamo il current time (ora corrente)
main :: IO ()
main = do
    currentTime <- getCurrentTime
    let dateString = formatTime defaultTimeLocale "%Y-%m-%d %H:%M:%S" currentTime
    putStrLn dateString

Output:

2023-03-04 12:30:45

Deep Dive (Approfondimento)

Haskell gestisce date e tempo tramite il modulo Data.Time. Questo è diventato lo standard dopo che la community ha riconosciuto il bisogno di un sistema di gestione del tempo robusto e versatile. Esistono alternative come old-time ma sono in gran parte obsolete. formatTime si basa su TimeLocale, che permette di formattare una data in modi specifici per ogni cultura. La flessibilità è un ingrediente chiave here: possiamo usare formati predefiniti o creare i nostri.

See Also (Vedi Anche)

• Haskell Time Library: Documentazione ufficiale del modulo Data.Time.
• LYAHFGG: Dates and Times: Sezione di “Learn You a Haskell for Great Good!” su date e tempo.