haskell - IO monad 处理，简化绑定(bind)语法

Question

在编写一个小型日期程序作为练习在 Haskell 中处理 monad 时，我想出了下面的 localDate 辅助函数。与 do block 相比，我更喜欢绑定(bind)链接语法 - 请提供有关一种语法是否更符合 Haskell 标准的任何意见。

我的主要问题与简化localDate有关。是否可以将 getCurrentTimeZone 和 getCurrentTime 都传递给 utcToLocalTime 而无需两次绑定(bind)操作？

localDate :: IO(Day)
localDate = localDay <$> zoneNow where 
    zoneNow = getCurrentTimeZone >>= \z -> getCurrentTime >>= \t -> return $ utcToLocalTime z t

localDate' :: IO(Day)
localDate' = do
   z <- getCurrentTimeZone
   t <- getCurrentTime
   let zoneNow = utcToLocalTime z t
   return $ localDay zoneNow

Answer 1

getCurrentTime >>=\t -> return $ utcToLocalTime z t 可以替换为仿函数映射:

getCurrentTimeZone >>= \z -> fmap (utcToLocalTime z) getCurrentTime

我们可以将其进一步重写为:

utcToLocalTime <$> getCurrentTimeZone <*> getCurrentTime

在localDate中，您执行另一个仿函数映射，因此我们可以将其写为:

localDate :: IO Day
localDate = localDay <$> <b>(</b>utcToLocalTime <$> getCurrentTimeZone <*> getCurrentTime<b>)</b>

或者我们可以将两个仿函数映射组合起来:

localDate :: IO Day
localDate = <b>(localDay.) . utcToLocalTime</b> <$> getCurrentTimeZone <*> getCurrentTime

这将产生本地时间:

Prelude Data.Time.Clock Data.Time.LocalTime> (localDay.) . utcToLocalTime <$> getCurrentTimeZone <*> getCurrentTime
2020-04-16