Ngủ cho đến khi bắt đầu phút tiếp theo

Question

Tôi đang cố gắng viết một số mã để ngủ cho đến khi bắt đầu phút tiếp theo trong múi giờ địa phương, nhưng đang gặp khó khăn lớn khi làm như vậy. Thư viện time luôn là một trong những điểm yếu của tôi, vì vậy tôi giả sử có một số cách dễ dàng để thực hiện việc này.

Tôi nghĩ chỉ cần tính toán TimeOfDay mới, nhưng điều đó sẽ không xử lý 23:59 đến 00:00 và có lẽ sẽ làm những điều rất khó hiểu với thời gian tiết kiệm ánh sáng ban ngày.

Xử lý giây nhảy vọt cũng sẽ là một phần thưởng hấp dẫn.

Sử dụng Control.Concurrent.threadDelay để ngủ có vẻ như phương pháp đơn giản nhất đối với tôi, do đó, một câu hỏi thay thế sẽ là: Làm thế nào tôi có thể nhận được số micro giây cho đến khi bắt đầu phút tiếp theo? DiffTime và NominalDiffTime sẽ là cách hoàn toàn chấp nhận được để đạt được điều này.

Answer 1

Tôi lo lắng điều này có thể không phải là những gì bạn muốn đưa ra nhận xét sau này của bạn. Tôi nghĩ rằng điều này sẽ chịu đựng những năm nhuận, thay đổi múi giờ, và những thay đổi trong ngày, nhưng không phải là giây nhảy vọt.

import Control.Concurrent (threadDelay) 
import Data.Time.Clock 

sleepToNextMinute :: IO() 
sleepToNextMinute = do t <- getCurrentTime 
         let secs = round (realToFrac $ utctDayTime t) `rem` 60 
         threadDelay $ 1000000 * (60 - secs) 

main = do putStrLn "Starting..." 
      sleepToNextMinute 
      putStrLn "Minute 1" 
      sleepToNextMinute 
      putStrLn "Minute 2" 

Answer 2

Có thể điều này sẽ giúp bạn: PLEAC-Haskell: Dates and Times.

Với sự trợ giúp của nó, bạn sẽ có thể nhận được phút hiện tại mà bạn có thể tạo thời gian bắt đầu phút tiếp theo. Sau đó, chỉ cần có sự khác biệt như thời gian ngủ.

Answer 3

Tôi không phải chuyên gia về gói time, nhưng làm thế nào về một cái gì đó như thế này:

import Data.Time -- need Clock and LocalTime 

curTime <- getCurrentTime 
let curTOD = timeToTimeOfDay $ utctDayTime curTime 
    last = TimeOfDay (todHour curTOD) (todMin curTOD) 0 
    diff = timeOfDayToTime last + 60 - utctDayTime curTime 

này sẽ dẫn đến diff :: DiffTime với sự khác biệt đúng trong vài giây; tất cả các ranh giới và năm nhuận phải được tính toán. Tôi không chắc chắn về giây nhảy vọt; bạn có thể cần thêm chúng theo cách thủ công.

Điều này không giải thích cho bất kỳ vùng mang cụ thể theo múi giờ nào, nhưng khi getCurrentTime trả về UTCTime, tôi nghĩ nó sẽ hoạt động bình thường. Bạn có thể thử sử dụng utcToLocalTimeOfDay thay vì timeToTimeOfDay để quản lý công cụ cụ thể theo múi giờ, nhưng sau đó bạn phải thực hiện thêm công việc để quản lý việc bù ngày.