|
|
|
|
|
|
by petalmind
1709 days ago
|
|
|
Monads are too specific, a lot of things that they are used for could be represented by weaker constructs such as Applicative. See e.g.: https://www.microsoft.com/en-us/research/publication/desugar...
"Furthermore, 10,899 (28.0%) were fully desugared into Applicative and Functor combinators and thus would not require a Monad constraint." б) "The Haxl codebase at Facebook. [...] and 7,600 (26.9%) were fully desugared into Applicative and/or Functor." |
|
|