btw, my slides, monads for students

[juan_gandhi]

https://tinyurl.com/coen386-5 

Comments

[vit_r]

Интересно было бы посмотреть на первую и последнюю лекцию. (-_^)

[juan_gandhi]

Да ничего хорошего, все переделывать надо.

[vit_r]

Мне не для того, чтобы учиться, мне чтобы подумать. (^_-)

[juan_gandhi]

Так все равно ничего хорошего там у меня.

[vit_r]

В данном случае интересен не правильный ответ, а способ поиска решения.

[sassa_nf]

slide 12: flatten aka join.

bind is aka flatMap

[juan_gandhi]

Oh, thanks!

[sassa_nf]

aren't monads always applicative functors? app f = flatMap (f andThen pure)

In which case not clear what distinction one gets between Monad and Strong Monad. (Sure, one may have an andAlso that is not defined through flatMap and pure; but that case wasn't made)

[juan_gandhi]

In categories - no, there's a couple of counterexamples. In computing, many people believe that they are.