Re: Re[2]: [Haskell-cafe] Newbie: State monad example questions

On Sat, May 24, 2008 at 3:39 AM, Bulat Ziganshin wrote:

Hello Olivier,

Saturday, May 24, 2008, 5:37:32 AM, you wrote:

(|>>) = flip (.)

...

I even started to use it in my code and then stopped. It may be a stupid concern but as many optimizations performed by GHC are made through rewrite rules and I was worried that those rules may not fire when using this new operator.

afaik ghc, |> would be rewritten to flip (.) which would be rewritten to application of first function to second one and so on. rewrite rules doesn't work only on your original code but on intermediate variations too

That's really good news.

Thanks Bulat, Olivier.