Date e orari in

Informazioni su Date e orari

Un DateTime in F# è un oggetto immutabile che contiene sia le informazioni sulla data che sull'ora. Si può accedere alle informazioni sulla data e sull'ora tramite le sue proprietà integrate.

Per manipolare un DateTime si può chiamare uno dei suoi metodi. Poiché i valori DateTime non possono mai cambiare dopo essere stati definiti, tutti i metodi che sembrano modificare un DateTime in realtà restituiscono un nuovo DateTime.

Per confrontare le istanze di DateTime si possono usare gli operatori di confronto predefiniti (<, >, ecc.). La data (e l'ora) corrente si può ottenere tramite la proprietà DateTime.Now.

Un aspetto importante delle date in F# è che dipendono dalla cultura. Di conseguenza, qualsiasi metodo di DateTime che ha a che fare con le string dipende dalla cultura corrente. Questo include il metodo DateTime.Parse(), che analizza una string per ottenere un DateTime, così come il metodo ToString() della classe DateTime, che converte un DateTime in una string.

Quando si usa un DateTime in una chiamata a sprintf, invece di convertire manualmente il DateTime in una string e usare il segnaposto di stringa %s, si può usare il segnaposto %O, che converte automaticamente il DateTime nel suo valore di string.