`print <$>（print“ hello”）`が“ hello”を出力するのはなぜですか？

を計算するときIO (IO ())、(IO ())およびの両方()が計算されるので、なぜ

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

印刷する

"Hello, World!"

ない

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

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")は同じ効果を持つ可能性があり、同じ効果があります。

したがって、コードは最初のものだけを実行しprint "Hello, World!"ます。

常に定義することをお勧めしますmain :: IO ()。Haskellではを宣言できますmain :: IO AnyTypeHereが、これは（IMO）で混乱します。

文字列全体を引用してエスケープするため、文字列を出力するのputStrLnではなく、を使用することもお勧めしますprint。