Call Arity, oneShot, or both

[Joachim Breitner]

Hi,


Am Montag, den 27.10.2014, 03:39 -0400 schrieb David Feuer:
> Joachim Breitner כתב 
> 
>         That would be great! But do we have evidence of this
>         user-written code
>         that benefits? So far I have only seen relevant improvement
>         due to
>         list-fusion a left-foldish function.
> 
> 
> I was under the impression that the transformation was much more
> general than that, improving various recursive forms. Was I wrong?

It is more general, but that doesn’t mean that the general form occurs
in practice...

>  But aside from that, I would be astonished if the library authors
> were the only ones writing left-accumulating folds!

I’d expect most others to write their folds already in eta-expanded
form; it is rather unnatural to write it in non-expanded form.

Maybe if someone uses difference lists there is a possibility for Call
Arity to do something.

Greetings,
Joachim




-- 
Joachim “nomeata” Breitner
  mail at joachim-breitner.de • http://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141027/f827cd98/attachment-0001.sig>