25 Jan
2007
25 Jan
'07
7:09 p.m.
Uniqueness types does give some extra optimisation potential, such as destructive updates if you can guarantee a variable is only referred to once. But even with that, the language that has impressed me most on the shootout is Clean. Where the Haskell community spends significant time they can beat Clean, but generally the Clean does very well and looks much more idomatic FP than the Haskell.
Clean has strict, unboxed strings by default. We only got these in Haskell in the last few months. -- Don