Easy, intuitive, direct-style syntax for Monad-comprehensions!

on YouTube ↗18m

" summary

Claims a working library that gives direct-style monad comprehensions via an extension method (e.g. dot.value / .flat syntax), implemented for vanilla Scala 2.10/2.11 using blackbox macros. Demonstrated converting blocking code to Task-based nonblocking code without heavy rewrites, with builds published but heavy development ongoing. Currently sound but incomplete: rejects some valid constructs, lacks nested comprehensions, multi-monad traversal and Traverse-based collection traversals; aims to add Applicative/parallelism and broader language support later.

AI-written summary · about

" chapters (5)

1. 0:00Start
2. 0:47Classic Comprehensions use specialized syntax
3. 6:27Let the Scala Compiler Work For You
4. 6:37Profit From Types
5. 14:24Typelevel Summit Philadelphia Qs & As

" related talks

• 44mCAN WE FREE CONCURRENT PROGRAMMING FROM THE MONADIC STYLERuslan Shevchenko · Scalar 2020
• 42mMonads you already use without knowing itTejas Dinkar · Functional Conf 2014
• 27mComputation Expressions in ScalaJean Rémi Desjardins · LambdaConf 2015
• 35mThe Functor, Applicative, Monad talkAdelbert Chang · Scale By the Bay 2017
• 41mAsync/Await for the Monadic ProgrammerAdam Rosien · Scala Days 2023 Seattle
• 36mAn introduction to monadic structures and functional programmingEdson Hilios · THE CONF 2017
• 46mOptimusPrimeTLars Hupel · Lambda World 2015
• 59mGet value out of your monadMark Seemann · NDC Sydney 2018