Rewrite rules [Was: Re: The Strange Loop conference]

[bearophile]

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