----- Original Message ----- From: "Sebastian Sylvan - [EMAIL PROTECTED]" Sent: Wednesday, December 07, 2005 8:36 PM > > > Maybe you'd be interested in Hacle? > > > > http://www-users.cs.york.ac.uk/~mfn/hacle/
Yep, I am. :) I've discovered it a while ago. > > > > " 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? " > > That looks interesting. I wonder what the results mean =) > > It could be that Clean and Haskell are roughly equivalent in speed > (modulo som variance), or it could mean that GHC is great at > optimizing Haskell code, but in certain cases uniqueness typing (among > other things?) gives so much benifits that it outweights GHC's > optimization. Just a side note (please, correct me if I'm wrong): Hacle does not even make use of uniqueness typing (apart from *World and *File), so any benefits are due to other differences, like, inferred strictness. Regards, zooloo -- No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.1.371 / Virus Database: 267.13.12/192 - Release Date: 05.12.2005 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe