On Wednesday 07 December 2005 19:35, Tomasz Zielonka wrote: > On Tue, Dec 06, 2005 at 10:58:45PM +0300, Bulat Ziganshin wrote: > > the third-priority problem is language itself. in particular, i hate > > Haskell school of imperative manipulations: > > > > x' <- readIORef x > > y' <- readIORef y > > writeIORef z (x'*y') > > Some day you may thank for this verbosity, because it encourages > you do program in a purely functional way making your program more > friendly for SMP execution.
You are mistaken. The verbosity is necessary if you want "visual" referential transparency, but not necessary if you only want pure functional programming. Only the latter is helpful for optimisability. I am hoping to write a paper on this topic. Regards, -- Robin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
