I have had to work around AMP not existing since 2006 in teaching. Thank goodness it is finally here and my students are no longer confused. That's how. On Fri, Nov 20, 2015 at 7:27 AM, Johannes Waldmann < johannes.waldmann@htwk-leipzig.de> wrote:
Because of AMP, I have to rewrite slides and example code for my lectures, and I don't like it.
In fact I probably won't do it, and will advise students to return to ghc-7.8 - but then, how does that look?
Really, my answer to
[1] 3.5 Beginner friendliness How often did you say ... "A Monad is always an Applicative"
is: never. (for "is a Functor" - often. In fact, always)
Now, I don't want to bring on another general discussion of AMP - instead I'd like to hear from people who use monads in teaching (e.g., to define semantic domains) about how they sell "Applicative m =>" to their students. (The intersection of AMPers and teachers is non-empty?)
- Johannes
[1] https://wiki.haskell.org/Functor-Applicative-Monad_Proposal
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe