Talk:Non-strict semantics
Add topicWhile operators in Haskell are functions, the choice of an operator for the example is a poor one. One can, in fact, write
1 || infinite_loop()
in C and have it terminate successfully, precisely because || has non-strict ("short-circuited") semantics in C.