क्यों Data.Time.Clock डिफटाइम और नाममात्र डिफटाइम प्रदान करता है?

Question

औरNominalDiffTimeData.Time.Clock में NominalDiffTime प्रदान करने के पीछे तर्क क्या है?

वर्तमान में, मुझे दोनों की आवश्यकता नहीं दिखाई देती है।

इसके अलावा, मुझे नहीं पता कि NominalDiffTime के लिए diffUTCTime क्यों है, जबकि DiffTime के लिए ऐसा कोई फ़ंक्शन नहीं है।

मेरा मतलब है, ऐसा लगता है कि DiffTime और NominalDiffTime वास्तव में एक दूसरे के लिए 'सममित' नहीं हैं।

शायद इसे समेटने के लिए: उन बीजगणितीय डेटाटाइप के बीच क्या अंतर है?

Answer 1

NominalDiffTime लीप-सेकंड को अनदेखा करता है और आप सुनिश्चित कर सकते हैं कि diffUTCTime 23:00 यूटीसी और 01:00 यूटीसी के बीच अगले दिन हमेशा 2 घंटे होता है, बिना किसी सेकेंड के।

DiffTime के परिणाम अन्य कारकों द्वारा बदला जा सकता है, उदाहरण के लिए, लीप-सेकेंड। इसे स्टॉपवॉच के रूप में मापा जाता है: यदि, कुछ कारणों से, 23:00 यूटीसी और 01:00 यूटीसी के बीच 2 घंटे नहीं है, तो यह प्रकार इसे दिखाएगा।

प्रैक्टिस में, वे अलग नहीं थे।

संपादित करें: उनके पास अलग-अलग उद्देश्यों हैं।

• NominalDiffTime समय के बीच अंतर की गणना के लिए है।
• DiffTime मापा समय के लिए है (उदाहरण के लिए स्टॉपवॉच के साथ)।