[Haskell-cafe] Can't Haskell catch up with Clean's uniqueness typing?

[Greg Buchholz]

haskell-cafe.mail.zooloo at xoxy.net wrote:
> It might be possible to get extremely fast code out of ghc, but as an overall
> impression, it's not easy, whilst Clean sort of gives it for granted (well,
> struggeling with wrongly assigned uniqueness attributes aside).

<snip>

> programs generated by ghc generally need multiples of time and space of the
> Clean version, even though the latter is, in many cases, a nearly literal
> translation from Haskell.

Maybe you'd be interested in Hacle?

  http://www-users.cs.york.ac.uk/~mfn/hacle/
    
  " The aim was to develop a translator which is capable of reading in any
   given Haskell'98 program and writing out a semantically equivalent Clean
   one. Why? To investigate the suitability of the Clean compiler for
   compiling Haskell programs, i.e.  Can the Clean compiler, in combination
   with this tool, produce faster executables than existing Haskell
   compilers? "


Greg Buchholz