16 Sep
2005
16 Sep
'05
1:55 p.m.
Am Freitag, 16. September 2005 14:02 schrieb Sergey Zaharchenko:
[...]
do x <- newIORef 0 y <- newIORef 0 z <- newIORef 0 z := *x + *y -- translated to { x' <- readIORef x; y' <- readIORef y; writeIORef z (x'+y') }
I might be misunderstanding, but aren't we going to introduce evaluation order for `+' in this case?
I think so and I think this is the case also for the approaches of including monadic expressions into "ordinary" expressions. That is, in my opinion, a strong argument against these proposals. One thing I like about Haskell is that side-effects are strictly separated from evaluation so that there is no such thing like an implicit evaluation order. Best wishes, Wolfgang