Re: Re: Why can't Haskell be faster?

Paulo J. Matos wrote:
> type system? Why is that? Shouldn't type system in fact speed up the
> generated code, since it will know all types at compile time?

The *existence* of a type system is helpful to the compiler.

Peter was referring to the differences between haskell and clean.

Specifically, clean's uniqueness types allow for a certain kind of
zero-copy mutation optimisation which is much harder for a haskell
compiler to automatically infer. It's not clear to me that it's actually
worth it, but I think that's the point at issue. I can *imagine*
algorithms in which copying is actually faster than mutation, if copying
gives you better locality.

Jules
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe