ทำไม `พิมพ์ <$> (พิมพ์“ 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!")

ต้องขอบคุณกฎหมาย monad ที่

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ต้องพิมพ์สตริงเนื่องจากหลังจะพูดและหลบหนีสตริงทั้งหมด