<div dir="ltr"><div>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.<br><br></div>That's how.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Nov 20, 2015 at 7:27 AM, Johannes Waldmann <span dir="ltr"><<a href="mailto:johannes.waldmann@htwk-leipzig.de" target="_blank">johannes.waldmann@htwk-leipzig.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Because of AMP, I have to rewrite slides and example code<br>
for my lectures, and I don't like it.<br>
<br>
In fact I probably won't do it, and will advise students<br>
to return to ghc-7.8 - but then, how does that look?<br>
<br>
<br>
Really, my answer to<br>
<br>
  [1] 3.5 Beginner friendliness<br>
  How often did you say ... "A Monad is always an Applicative"<br>
<br>
is: never. (for "is a Functor" - often. In fact, always)<br>
<br>
<br>
Now, I don't want to bring on another general discussion of AMP -<br>
instead I'd like to hear from people who use monads<br>
in teaching (e.g., to define semantic domains)<br>
about how they sell "Applicative m =>"  to their students.<br>
(The intersection of AMPers and teachers is non-empty?)<br>
<br>
<br>
- Johannes<br>
<br>
<br>
[1] <a href="https://wiki.haskell.org/Functor-Applicative-Monad_Proposal" rel="noreferrer" target="_blank">https://wiki.haskell.org/Functor-Applicative-Monad_Proposal</a><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div>