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@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org