Timon Gehr: > Furthermore, DMD does not do any advanced optimizations
In Haskell there are ways to add library-defined optimizations, with rewrite rules: http://www.haskell.org/haskellwiki/Playing_by_the_rules http://www.haskell.org/haskellwiki/GHC/Using_rules There are also papers about this. Some people are discussing how add library-defined error messages in Haskell, to reduce the big problems caused by complex type error messages. Maybe similar solutions will be the way to solve similar optimization problems in future D. Bye, bearophile
