为什么Data.Time.Clock提供DiffTime和NominalDiffTime？

Question

提供DiffTime 和 NominalDiffTime in Data.Time.Clock的理由是什么？

目前，我不认为两者都有必要。

另外，我不明白为什么NominalDiffTime中有diffUTCTime，而对于DiffTime则没有这样的函数。

我的意思是，看起来DiffTime和NominalDiffTime并不是真正的“对称”。

或许可以总结一下:这些代数数据类型之间有什么区别？

Answer 1

NominalDiffTime忽略了闰秒，您可以确保第二天23:00UTC和01:00UTC之间的diffUTCTime总是2小时，没有添加任何秒。

DiffTime的结果可以被其他因素改变，例如，闰秒.这是与秒表:如果，由于某些原因，世界协调时间23:00至01:00之间不是2小时，这种类型将显示它。

实际上，两者并无不同之处。

编辑：他们有不同的目标。

• NominalDiffTime是用来计算时间差的。
• DiffTime是用来测量时间的(例如秒表)。