在Haskell中，monadic IO 是通過 IO monad 實現的。IO monad 是一種特殊的 monad，它用于表示在計算中執行 I/O 操作。
在 Haskell 中，所有的 I/O 操作都被封裝在 IO monad 中。當程序執行時，IO monad 可以被用來執行這些 I/O 操作，并且確保它們按照正確的順序執行。
在 Haskell 中使用 monadic IO 時，我們可以通過使用 do 記法來組合多個 I/O 操作。在 do 塊中，每個操作都會返回一個新的 IO 值，這些值會被傳遞給下一個操作。
例如，下面是一個簡單的例子，演示如何使用 monadic IO 來讀取用戶的輸入并輸出結果：
main :: IO ()
main = do
putStrLn "What's your name?"
name <- getLine
putStrLn $ "Hello, " ++ name ++ "!"
在這個例子中，main 函數是一個 IO 動作，它包含了三個操作：putStrLn、getLine 和另一個 putStrLn。這些操作被組合在一起，通過 do 記法進行順序執行。
總的來說，monadic IO 在 Haskell 中的工作原理是通過 IO monad 來封裝和執行 I/O 操作，以確保它們在正確的順序下執行。通過 do 記法，我們可以方便地組合多個 I/O 操作，并且保持代碼的可讀性和一致性。
