Why can't Haskell be tricked into performing IO operations by using strict evaluation?

有些话、适合烂在心里 提交于 2021-02-04 03:18:28

问题


I'm just learning Haskell and IO monads. I'm wondering why wouldn't this force the program to output "hi" as well as "bye":

second a b = b
main = print ((second $! ((print "hi") >>= (\r -> return ()))) "bye")

As far as I understand, the $! operator would force the first argument of second to be evaluated, and the >>= operator would need to run print "hi" in order to get a value off of it and pass it to \r -> return (), which would print "hi" to the screen.

What's wrong with my reasoning?

And also, is there any way to proove Haskell cannot be tricked (other than using unsafe functions) into running IO operations inside "safe" code?


回答1:


The expression you are forcing is ((print "hi") >>= (\r -> return ())), which is of type IO (). As such it represents an IO action. But evaluating such a thing is quite different from running it!

Evaluating a value means performing just enough steps to turn it into what is called weak head normal form. Because IO is abstract, it is a bit tricky to see what that means in this case, but one can think of IO a as RealWorld -> (a, RealWorld), and then the weak head normal form is, well, a function waiting to be given the RealWorld.

Running implies evaluation, but also passes the RealWorld as an argument, thus causing the IO effect to happen.

All this is not very specific to IO; your confusion and the concepts apply equally to a -> b. If you understand what $! does when the second argument is a function, you’ll understand what happens when it is an IO action.




回答2:


You're confusing evaluation with execution. When you force an expression like print "hi", that doesn't print anything out. It just produces a value (in this case, a value of type IO()) representing the action of printing something out. You can think of the value of print "hi" as a recipe for printing "hi".



来源:https://stackoverflow.com/questions/24775528/why-cant-haskell-be-tricked-into-performing-io-operations-by-using-strict-evalu

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!