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

bearophile bearophileHUGS at lycos.com
Thu Sep 22 18:04:15 PDT 2011


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


More information about the Digitalmars-d mailing list