Ottiene il tempo come Int

Question

Esiste una funzione in haskell per l'epoca in secondi/millisecondi?

forse qualcosa di simile a

System.currentTimeMillis(); 

modifica di Java: come Int o Integer?

Answer 1

Sì.

getCurrentTime :: IO UTCTime.

UNIX epoch time potrebbe essere recuperate come Int così:

> :m + Data.Time System.Locale Control.Applicative 
> epoch_int <- (read <$> formatTime defaultTimeLocale "%s" <$> getCurrentTime) :: IO Int 
> epoch_int 
1375025861 

UPD: come altri utenti notato, c'è molto di più semplice modo per farlo:

> :m + Data.Time.Clock.POSIX 
> round `fmap` getPOSIXTime 
1375040716 
it :: Integer 

Answer 2

Prova questo:

import Data.Time 
import Data.Time.Clock.POSIX 

t = getPOSIXTime 

Dispone di 6 cifre decimali di precisione.

Answer 3

C'è anche la soluzione discussa in Real World Haskell:

import System.Time 
getClockTime >>= (\(TOD sec _) -> return sec) 

Answer 4

Questo funziona:

import System.IO.Unsafe 
import Data.Time.Clock.POSIX 

time = round (unsafePerformIO getPOSIXTime) :: Int 

unsafePerformIO estrae tempo dalla monade IO. Arrotondare a Int produce quindi il risultato desiderato.

AGGIORNAMENTO: Nelle mie applicazioni Web Haskell, a volte utilizzo unsafePerformIO per compilare caselle di controllo HTML e pulsanti di opzione radio con numeri casuali e timestamp nascosti. A volte il mio campo di testo e le caselle di testo consentono agli utenti (giocatori di giochi interattivi) di fornire dati come numeri arbitrari e date. Giustino, confido che non pensi che i valori forniti dall'utente siano più sicuri dei numeri casuali e dei timestamp che fornisco ai moduli? E spero che tu non pensi che volessi dire, "Usa cose come unsafePerformIO se non capisci cosa stai facendo."

I browser Web utilizzano HTML, CSS e Javascript. Non è possibile "tenerlo nella monade IO" e i browser non eseguono più o meno in modo sicuro a seconda di come i valori che ricevono provengono dalle monadi Haskell.

Justin, a beneficio di tutti coloro che leggono questa pagina, ti chiedo di riconsiderare e di dire se pensi ancora che "davvero non dovrei usare unsafePerformIO in questo modo"? La mia mente è aperta. Non ho la minima idea di cosa, se non altro, potrei sbagliare nel mio lavoro, o perché i lettori dovrebbero essere scoraggiati dall'apprendere da me i due voti negativi.

P.S. Ho sentito che non si dovrebbe dire # @!% Davanti ai bambini, o in compagnia mista. Ho pubblicato la parola "U" dove i principianti potrebbero vederlo? Il cielo non voglia!-DS

Answer 5

ne dite:

import Data.Time.Clock.POSIX 

timeInMicros :: IO Integer 
timeInMicros = numerator . toRational . (* 1000000) <$> getPOSIXTime 

timeInMillis :: IO Integer 
timeInMillis = (`div` 1000) <$> timeInMicros 

timeInSeconds :: IO Integer 
timeInSeconds = (`div` 1000) <$> timeInMillis 

timeInSeconds' :: IO Double 
timeInSeconds' = (/ 1000000) . fromIntegral <$> timeInMicros 

Answer 6

Forse:

getCurrentTime >>= pure . (1000*) . utcTimeToPOSIXSeconds >>= pure . round 

Round è quello di ottenere intero che in realtà non è obbligatoria ...

risposta originale era senza (1000*) - ora è fisso