Int olarak zaman al

Question

Saniye/milisaniye cinsinden zamanlama için haskell'de bir işlev var mı?

belki java'nın

System.currentTimeMillis(); 

düzenlemeye benzer bir şey: Int veya Integer olarak?

Answer 1

Evet.

getCurrentTime :: IO UTCTime.

UNIX dönem süresi böyle Int olarak alınamadı :

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

UPD:

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

Answer 2

bu deneyin:

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

t = getPOSIXTime 

Bu doğruluk 6 ondalık basamağı vardır.

Answer 3

vardır: Diğer kullanıcıların fark olarak, bunu yapmanın yolu çok daha basit olduğu Aynı zamanda, çözelti, Real World Haskell:

Answer 4

Bu çalışır:

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

time = round (unsafePerformIO getPOSIXTime) :: Int 

unsafePerformIO IO monad gelen zaman ayıklar. Int'e yuvarlama daha sonra istenen sonucu verir.

GÜNCELLEME: Haskell web uygulamalarımda, HTML onay kutusunu ve radyo düğmesi formlarını rastgele sayılar ve gizli zaman damgalarıyla doldurmak için bazen güvensizPerformIO kullanıyorum. Bazen metin alanım ve metin kutusu formları, kullanıcıların (etkileşimli oyunların oyuncuları) rasgele sayılar ve tarihler gibi veriler sağlamasına olanak tanır. Justin, kullanıcı tarafından sağlanan değerlerin, formlara verdiğim rastgele sayılardan ve zaman damgalarından daha güvenli olduğunu düşünmemenize güveniyorum. Ve inanıyorum ki, "Yaptığını anlamadıysan, güvensizPerformi gibi şeyler kullan."

Web tarayıcıları HTML, CSS ve Javascript kullanır. “IO monadında saklayamazsınız” ve tarayıcılar, aldıkları değerlerin Haskell monad'larından nasıl çıktıklarına bağlı olarak daha fazla veya daha az güvenli bir şekilde performans göstermezler.

Justin, bu sayfayı okuyan herkesin yararı için, sizden hala "güvensiz Pseformio'yu bu şekilde kullanmamalı mıyım?" Diye düşünmenizi rica ediyorum. Aklım açık. Yaptığım işte yanlış olan bir şey varsa ya da okuyucunun neden benden iki oy ile öğrenmekten vazgeçilmemesi gerektiğine dair bir fikrim yok.

P.S. Bunun çocukların önünde ya da karışık bir şirkette #%! Yenilerin görebileceği "U" kelimesini mi yayınladım? Allah korusun!-DS

Answer 5

ne dersiniz:

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

Belki:

orijinal cevap (1000*) idi

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

Round aslında zorunlu değildir tamsayı almak istiyorsa ... - şimdi