3 ms·
Sure. Math based abstractions are non-leaky. This is one of the main thing FP people rave about. Eg. map works without bias on all functors regardless whether t
by pwm 7y ago
Sure. Math based abstractions are non-leaky. This is one of the main thing FP people rave about. Eg. map works without bias on all functors regardless whether the concrete thing is a list or a tree or an IO action, etc...
- wwright 7y agoHave you heard of “divide by zero?” ;) (I agree that math abstractions are less leaky than others, of course)
- omaranto 7y agoI'm confused: how is dividing by zero an example of a leaky abstraction in mathematics?
- gdy 7y agoFor example, different implementations may have different performance characteristics depending on the object they are operating on. This way implementation details leak out through the time or space complexity, or through the constant factor.