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