IO作为副作用

Question

我能写一个执行IO作为副作用的函数吗？例如:

f :: Int -> Int
f n = putStr "text" >> return n*2

显然我没有任何方法来编写代码,如果它完全不正确,但这应该至少显示我想要做的事情.

Answer 1

你的功能几乎是正确的.如果它有副作用,那么它需要类型IO.此外,功能应用程序绑定比中缀更严格.修复这些结果:

f :: Int -> IO Int
f n = putStr "text" >> return (n*2)