On 8/7/2013 11:00 AM, David Thomas wrote:
twice :: IO () -> IO ()
twice x = x >> x
I would call that evaluating x twice (incidentally creating two
separate evaluations of one pure action description), but I'd like to
better see your perspective here.
x is only evaluated once, but /executed/ twice. For IO, that means
magic. For other types, it means different things. For Identity, twice = id!
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
