为什么`print <$>（print“ hello”）`打印“ hello”？

Question

IO (IO ())同时计算(IO ())和时()，为什么

main :: IO (IO ())
main = print <$> (print "Hello, World!")

打印

"Hello, World!"

不

IO "Hello, World!" -- ??
"Hello, World!"

Answer 1

main :: IO (IO ())
main = print <$> (print "Hello, World!")

由于单子法则，等价于

main :: IO (IO ())
main = do 
   result <- print "Hello, World!"
   return (print result)

现在，print始终返回()结果，因此整个代码等效于

main :: IO (IO ())
main = do 
   _ <- print "Hello, World!"
   return (print ())

最后，main只需丢弃的结果。也就是说，最后一行可能会return (putStrLn "this is ignored")具有相同的效果。

因此，代码将只执行first print "Hello, World!"。

我建议您始终定义main :: IO ()。Haskell允许我们声明main :: IO AnyTypeHere，但这（IMO）令人困惑。

我还建议您使用putStrLn，而不要print打印字符串，因为后者将引用并转义整个字符串。