Haskell 函数以字符串形式获取部分日期

Question

我有一个关于 Haskell 中的日期和 String 的初学者问题。

我需要在 Haskell 中获取部分日期（年、月或日）作为 String 。我发现，如果我在 GHCi 中编写以下两行

Prelude> now <- getCurrentTime
Prelude> let mon = formatTime defaultTimeLocale "%B" now

，则 mon 的类型为 String。但是，我无法将其放入函数中。例如，我尝试了以下操作：

getCurrMonth = do
    now <- getCurrentTime
    putStrLn (formatTime defaultTimeLocale "%B" now)

但这返回类型 IO () 并且我需要 String （也不是 IO String，只有 String ）。

我知道 do 语句创建了一个我不想要的 monad，但我一直无法找到任何其他解决方案来在 Haskell 中获取日期。

那么，有没有办法写一个这样的函数呢？

预先感谢您的任何帮助！

Answer 1

如果你想返回一个代表当前时间的字符串，它必须位于 IO monad 中，因为当前时间的值总是在变化！

您可以做的是在 IO monad 中返回一个字符串：

> getCurrMonth :: IO String
> getCurrMonth = do
>    now <- getCurrentTime
>    return (formatTime defaultTimeLocale "%B" now)

然后，从您的顶层（例如在 main 中），您可以传递该字符串：

> main = do
>     s <- getCurrMonth
>     ... do something with s ...

Answer 2

如果您确实想要这种类型的纯函数，那么您需要显式地将时间作为参数传递。

import System.Locale (defaultTimeLocale)
import System.Time (formatCalendarTime, toUTCTime, getClockTime, ClockTime)

main = do now <- getClockTime
          putStrLn $ getMonthString now

getMonthString :: ClockTime -> String
getMonthString = formatCalendarTime defaultTimeLocale "%B" . toUTCTime

请注意 getMonthString 可以是纯的，因为 IO 操作 getClockTime 是在其他地方执行的。

我使用了旧时间 功能，因为我在键盘上测试它，它显然没有更新的时间包。 :( 我是旧时间函​​数的新手，所以这可能会关闭几个小时，因为它使用 toUTCTime。

Answer 3

正如 Don 所说，在这种情况下无法避免使用 monad。请记住，Haskell 是一种纯函数式语言，因此函数必须始终在给定特定输入的情况下返回相同的输出。 Haskell.org 在此处提供了很好的解释和介绍，当然值得一看。您也可能会受益于 monad 介绍，例如 this一个或Haskell I/O教程，例如这个。当然，您可以在网上找到更多资源。 Monad 最初可能会让人望而生畏，但它们实际上并不像乍看起来那么困难。

哦，我强烈建议不要使用 unsafePerformIO。它的名称中含有“不安全”一词是有充分理由的，而且它绝对不是为这种情况而创建的。使用它只会导致坏习惯和问题。

祝你学习 Haskell 好运！

Answer 4

你不能只得到一个字符串，它必须是 IO 字符串。这是因为getCurrMonth不是一个纯函数，它在不同的时间返回不同的值，所以它必须在IO中。