Successor syntax for for comprehensions

[tarsa]

@jimka2001
There were proposals for applicatives in for comprehensions already:

New syntax: applicative desugaring in for comprehensions (with PR)

Hello everyone, Just to make things clear: this is not April fools Inspired by comonadic comprehensions proposal and the recent success of Comma McTraily I was thinking about how we could express applicative comprehensions in Scala. This could be useful not only for people using typelevel style (I suppose, I’m not one of them) but also for mere mortals like me and people to which the word “applicative” says absolutely nothing. And I think I may have found a simple and totally co…

Sequencing in for-comprehensions

Sequencing in for-comprehensions It is often possible and desirable to make multiple extractions without doing flatMap steps. This can be achieved by making Cartesian products repeatedly or sequencing lists of objects. Alternative way for avoiding flatMaps is to devise special auto-generated syntax like for Validation in scalaz. In general, however sequencing can work as a general abstraction for such purposes. Sequencing objects instead of flatMapping them can solve performance or usabili…