IO 定義你的程式主要操作
要使 Haskell 程式可執行,你必須提供具有 IO ()
型別的 main
函式的檔案
placeholderCopymain::IO ()
main = putStrLn "Hello world!"
編譯 Haskell 時,它會檢查 IO
資料並將其轉換為可執行檔案。當我們執行這個程式時,它將列印 Hello world!
。
如果你的 IO a
型別的值不是 main
,他們將不會做任何事情。
placeholderCopyother::IO ()
other = putStrLn "I won't get printed"
main::IO ()
main = putStrLn "Hello world!"
編譯該程式並執行它將與上一個示例具有相同的效果。other
中的程式碼被忽略。
為了使 other
中的程式碼具有執行時效果,你必須將其組合成 main
。沒有最終組成 main
的 IO
值將具有任何執行時效果。要按順序組合兩個 IO
值,你可以使用 do
-notation:
placeholderCopyother::IO ()
other = putStrLn "I will get printed... but only at the point where I'm composed into main"
main::IO ()
main = do
putStrLn "Hello world!"
other
編譯並執行此程式時,它會輸出
placeholderCopyHello world!
I will get printed... but only at the point where I'm composed into main
請注意,操作的順序由 other
如何組成 main
而不是定義順序來描述。