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

Question

DiffTime 提供和 Data.Time.Clock背后的基本原理是NominalDiffTime什么？

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

另外，我不明白为什么NominalDiffTime有diffUTCTime，而DiffTime没有这样的功能。

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

也许总结一下：这些代数数据类型之间有什么区别？

Answer 1

NominalDiffTime忽略闰秒，您可以确定diffUTCTime在 23:00 UTC 和第二天 01:00 UTC 之间始终是 2 小时，没有添加任何秒数。

的结果DiffTime可以被其他因素改变，例如闰秒。这与秒表一样测量：如果由于某些原因，UTC 23:00 和 UTC 01:00 之间不是 2 小时，则此类型将显示它。

在实践中，它们并没有什么不同。

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

• NominalDiffTime用于计算时间之间的差异。
• DiffTime用于测量时间（例如，使用秒表）。