27 Mar
2026
27 Mar
'26
2:28 p.m.
On Fri, Mar 27, 2026 at 10:09:33AM +0100, Olaf Klinke wrote:
... which is why functions like sum, product, maximum and minimum have become Foldable class methods, to be overridden whenever it is more efficient. I fail to see how your boundedMinimum reduces time complexity. It is still a general fold in the non-empty case.
In the *general case* yes, but if a Foldable container has an more efficient non-default `minimum` implementation, it'll get used. -- Viktor. 🇺🇦 Слава Україні!