Small comment. Marcin wrote: > About program transformation possibility: I don't see how it would > be applied in practice. There is no use of associativity of (+) for > the compiler. It can do many optimizations, but it won't rewrite > x+(y+z) to (x+y)+z nor vice versa. Associativity and commutativity (AC) are not optimizations in themselves, but rather enable optimizations if you have an AC matcher in your rewriting system (as, for instance, in Mathematica). - Conal _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
- BAL paper available S.D.Mechveliani
- Re: BAL paper available Marcin 'Qrczak' Kowalczyk
- Re: BAL paper available Jerzy Karczmarczuk
- Re: BAL paper available Dylan Thurston
- Re: BAL paper available Marcin 'Qrczak' Kowalczyk
- Re: BAL paper available Conal Elliott
- Re: BAL paper available Wojciech Moczydlowski, Jr
- Re: BAL paper available Stefan Karrmann
- Re: BAL paper available Fergus Henderson
- Re: BAL paper available Wojciech Moczydlowski, Jr
- Re: BAL paper available Ashley Yakeley
- RE: BAL paper available Simon Marlow
- RE: BAL paper available Wojciech Moczydlowski, Jr
- Re: BAL paper available C T McBride
- Dependent types (Was: Re: BAL paper ava... Stefan Karrmann
- RE: BAL paper available Simon Peyton-Jones