Changes between Initial Version and Version 1 of Ticket #7436


Ignore:
Timestamp:
Nov 21, 2012 1:32:58 PM (3 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7436

    • Property Difficulty changed from to Unknown
  • Ticket #7436 – Description

    initial v1  
    4242There seem to be three different issues: 
    4343 
    44 * Derived `Foldable` and `Traversable` instances are nearly unusable for large 
    45 structures. 
     44 * Derived `Foldable` and `Traversable` instances are nearly unusable for large structures. 
    4645 
    47 * An eta-expanded definition like `foldr` becomes asymptotically worse for some 
    48 reason. 
     46 * An eta-expanded definition like `foldr` becomes asymptotically worse for some reason. Maybe this is expected behavior for this function, since `f` gets eta-expanded at each iteration? 
    4947 
    50 Maybe this is expected behavior for this function, since `f` gets eta-expanded 
    51 at each iteration? 
    52  
    53 * `Foldable` instances are generated with `foldr` instead of `foldMap`. 
     48 * `Foldable` instances are generated with `foldr` instead of `foldMap`. 
    5449 
    5550This isn't directly related, since the code would have the same problem either