4 ms·
Open question: if Functor should be called Mappable, what would you call Applicative? EvenMoreMappable? Similarly, if Semigroup should be called Appendable, wh
by ex3xu 7y ago
Open question: if Functor should be called Mappable, what would you call Applicative? EvenMoreMappable?
Similarly, if Semigroup should be called Appendable, what would you call Monoid? And is there a consensus on Monad as well?
- guerrilla 7y agoAs it is now, Applicative is really an applicative functor. In general, if a term covers a subset then there is a property which distinguishes the subset from its ambient set and we can use that property to qualify the term as being such. On the other hand, obviously Monad should be called Burrito.