On Thu, 13 May 1999, Simon Peyton-Jones wrote:
> I'm not sure exactly what you are asking here.
> > For example, in {rules (map f).(map g) = map (f.g) }
> > f xs = let g = ...
> > h = ...
> > h1 = map g
> >
> Are ($) and (.) actually treated specially within ghc then
> and optimized
> away from the rules? If so then rule rewriting becomes more
> powerful than
> I'd thought, beacuse the one of the problems I thought was
> there was that
> the idea that `several maps can be be turned into a single
Hello,
Maybe, a naive question, but
how the compiler *rules* are expected to relate to binding?
For example, in {rules (map f).(map g) = map (f.g) }
f xs = let g = ...
h = ...
h1 = map g
I'm not sure exactly what you are asking here.
> For example, in {rules (map f).(map g) = map (f.g) }
> f xs = let g = ...
> h = ...
> h1 = map g
> h2 = map h
>
