addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Life after* monads

  • Needs a date

  • Needs a location

  • Everyone knows functions. And everyone knows monads (and has written their own tutorial). But in between, and around the side, there are some other interesting things: theres a progression from Functor to Applicative to Arrows to Monads.

    Often you're only using the limited power of those structures (rather than needing monad) without realising it; and perhaps more importantly, there are some interesting things which are possible (for example) with Applicative but not with a Monad.

    Then, off to the side there are things like co-monads and generalised arrows.

    I could talk about that spectrum, with lots of squiggly arrow diagrams and code examples, but without too much use of the c******* word.

    (* actually before; or alongside).

Join or login to comment.

  • Oliver C.

    I'd love to attend a presentation about applicative functors, why they are awesome because they are closed under composition *and* product, maybe a look at the sum of applicatives too. More food for thought: get people hyped about monoids and semigroupoids because they rock! The co-* stuff is quite abstract, but if you can get contrafunctors and comonads across then all the better, but for me their practical value is smaller than the above.

    1 · January 2, 2013

    • Oliver C.

      Reading this over a year later, I meant semigroups not semigroupoids, and contravariant functors not contrafunctors. Oh, young me!

      1 · September 15, 2014

  • Hans H.

    This sounds like a live version of Typeclassopedia. I like it.

    September 13, 2014

    • Ben C.

      yeah, I was imagining roughly that material

      September 15, 2014

Want to go?

Join and RSVP

44 going

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy