2 ms·
Exactly this. The power of an abstraction is roughly the product of two metrics: 1. How many things "fit" this abstraction? 2. What does this abstraction let
by endgame 5y ago
Exactly this. The power of an abstraction is roughly the product of two metrics:
1. How many things "fit" this abstraction?
2. What does this abstraction let me say?
The abstraction "Monad" has many inhabitants, and the Control.Monad module shows that it lets you say many things -> it is a very useful abstraction. The abstraction "Applicative" has many more inhabitants, but lets you say fewer things -> it is still a useful abstraction.