书籍
Haskell
第7章. 日期和时间
将日期转换为字符串

Haskell:
将日期转换为字符串

如何做： 

import Data.Time

-- 假设我们有一个日期
currentDate :: IO UTCTime
currentDate = getCurrentTime

-- 将日期转换成字符串
dateToString :: UTCTime -> String
dateToString = formatTime defaultTimeLocale "%Y-%m-%d"

-- 使用示例
main :: IO ()
main = do
    date <- currentDate
    putStrLn $ dateToString date

假设当前日期是2023年4月10日，输出将会是：

2023-04-10

深入探索

Haskell 的 Data.Time 库提供了强大的日期和时间操作函数。在历史上，这些功能由多个不同的库提供，最终合并为现在的 time 库。此库是 Haskell 平台的一部分。

使用 formatTime 函数可以灵活定义日期和时间的显示格式。例如，"%Y-%m-%d" 定义了一个国际标准格式（ISO 8601）。当然，有多种方式来表示时间字符串，比如只显示年份（"%Y"）或者添加时间（"%Y-%m-%d %H:%M:%S"）。

除了 time，还有其他库如 old-time，但现在推荐使用 time 库，因为它提供了更全面的功能和改进的国际化支持。

在底层实现上，日期和时间的转换通常涉及对时区的处理和历法的转换。在 Haskell 中，UTCTime（世界协调时间）是处理时间的通用方式，它是独立于时区变化和夏令时调整的。

参考链接

  • Haskell time 库文档：https://hackage.haskell.org/package/time
  • 时间格式化字符串规则：https://hackage.haskell.org/package/time-1.9.3/docs/Data-Time-Format.html#v:formatTime
  • 关于更多的时间和日期库对比，可以参考：https://wiki.haskell.org/Library/Time
比较两个日期获取当前日期