u/derekwrightin r/haskell • Recommends
London Haskell Video (24-Oct-2012) – Why Do Monads Matter?
0:00 / 0:00
- Recommended by 1 person: 1 in engineering communities.
- Presented by Derek Wright
- Linked in the descriptionlondonhaskell/londonhaskell-2012-10-24-why-do-monads-matter
Intermediate. Assumes working knowledge.
30K views13 years ago1 recommendation
Programming languagesComputer scienceHaskellFunctional programming
Derek Wright explains the concept of monads in Haskell and why they are useful for managing side effects.
London Haskell user group, 24th October 2012. A talk by Derek Wright, based on a blog post by Chris Smith. Blog Post: cdsmith.wordpress.com/2012/04/18/why-do-monads-matter/ Code on GitHub: github.com/londonhaskell/londonhaskell-2012-10-24-why-do-mon… PDF with animations (for on-screen viewing): files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter-WithAni… PDF (with most of the animations removed for printing): files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter.pdf PowerPoint Presentation (with all the animations!): files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter.pptxWhy it's here
1 person recommends thisWhat people say. Recommended as a clear presentation explaining the practical importance and mechanics of monads.
u/kazagistarin r/haskell • Mentions
On “Hython: The simplest possible language”
I am unconvinced that explaining monads should be done at all until you have learned how to use a few of them.
Once you use the same syntax for IO, Parsing, and State, have done some list comprehensions, and are pretty familiar with type signatures... then maybe you can point out that underneath its just some kind of similar type.
Everyone has their own favorite... mine is still the Why Monads Matter talk on youtube, which goes something like this:
- Composition is important!
- Sometimes, things don't compose perfectly and need some help.
- Lets look at examples...
- Errors don't quite compose, but we can make an "errorBind"
- Things that share an input don't quite compose,…
u/derekwrightin r/haskell • Mentions
On “Why Do Monads Matter? @ London Haskell User Group”
Yes! The link to this video is finally on YouTube.
If you want to look at the the slides there is a PDF with animations for on-screen. A PDF with most of the animations removed for printing. And finally the PowerPoint Presentation with all the animations! Enjoy.
u/kazagistarin r/compsci • Mentions
On “For those of you who work in the field, what is a concept that you just cannot wrap your head around?”
…nted by things such as List and Maybe, which don't really resemble closures much at all. For each data type which implements it, these functions might do something slightly different, but they tend to follow a regular pattern that can be abstracted over.
The best way to understand (imho) is by examples. I recommend Why Do Monads Matter in text or link to this video form. They discuss how failure, dependence, uncertainty, and side effects break composability, and how it is resolved using a monadic interface.…