Opened 5 years ago

Closed 5 years ago

#9343 closed bug (duplicate)

foldl' is not a good consumer

Reported by: dfeuer Owned by:
Priority: normal Milestone:
Component: libraries/base Version: 7.8.3
Keywords: Cc: hvr, ekmett
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Runtime performance bug Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


Some fancy footwork went into making length a good consumer. Since length = foldl' (\n _ -> n + 1) 0, I was wondering if a trick similar to the one used for length might work for more general strict left folds.

Change History (1)

comment:1 Changed 5 years ago by dfeuer

Resolution: duplicate
Status: newclosed
Note: See TracTickets for help on using tickets.