Easy, intuitive, direct-style syntax for Monad-comprehensions! - Chris Vogt and Chris Hodapp
Channel: Typelevel
Date: 2016-04-17

Easy, intuitive, direct-style syntax for monad comprehensions! Like Scala async or SBT .value, but generalized to any monad. Implemented, ready to be used and requiring only vanilla Scala 2.10/2.11 and blackbox macros. Future extensions could include automatic use of Applicative where possible, support for more embedded control-flow operations, comprehensions over multiple compatible monads at once for user-defined notions of compatible and compiler tweaks for syntactic improvements.

* Material *

Slides: http://typelevel.org/resources/2016-03-02_comprehensions.pdf

* Event * 

Typelevel Summit Philadelphia, March 2016: http://typelevel.org/event/2016-03-summit-philadelphia/

* About speaker *

Chris Vogt: Slick co-author, Compossible records author, frequent Scala conference/user group speaker, former member of Martin's team at LAMP/EPFL, based in NYC, Senior Software Engineer at x.ai

Chris Hodapp: Several-time Scala GSOC student and eventually mentor, author of the ill-fated Comprehensive Comprehensions project. He's hoping to see tooling and techniques from the FP/Typelevel community improve the leverage of the average developer. Based in the SF Bay Area.

* Licensing *

This recording is licensed under CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/).

Title image: Ryan Hallock on Flickr, https://flic.kr/p/tCR6T1, licensed under CC-BY 2.0