Hi, Am Freitag, den 20.11.2015, 12:02 +0200 schrieb Oleg Grenrus:
- `Errors` [4], which could be specialised to `Either (NonEmpty err) a` and `ap` would gather all errors!
this is actually a pretty nice and convincing example: „A effectful computation (e.g. a stateless parser) that may fail in various spots with errors, where the type system can guarantee that _all_ errors will be reported (and not just the first found).“ Obviously a Monad cannot provide this guarantee, and obviously, there are applications where this is impossible, so this nicely shows the usefulness of Applicative as a separate abstraction. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org