More on "Component Programming"

[Walter Bright]

On 5/28/2013 2:54 AM, bearophile wrote:
> The "rewrite rules" is a feature of the GHC compiler. It allows the library
> writers to define rules that in most (or many) cases are advantageous and lead
> to better optimization. As example one of such rules swap map and filter,
> putting the filter before the map, because this is more efficient. Haskell
> allows you to perform such swapping because (nearly) everything it does is pure
> and immutable.

Thank you.