Awesome
🇺🇦 HELP UKRAINE
I'm the creator of this project. My country, Ukraine, is being invaded by the Russian Federation, right now. If you want to help my country to fight, consider donating to charity supporting Ukrainian army. More options is described on support ukraine site.
dotty-cps-async
This is the implementation of async/await transformation for Scala 3 (Dotty), based on an optimized version of CPS (Continuation Passing Style) transformation, where the continuation is ‘pushed’ to the monad.
<span id="highlights">Highlights</span>
- Full support of all Scala language constructs in async/await block.
- Pluggable monad interface:
- An await monad can be any trait for which it is possible to implement
CpsAsyncMonad
type class. You can provide those methods for your favorite monad.
- An await monad can be any trait for which it is possible to implement
- Limited support of high-order functions:
urls.map(fetchData(_))(await _ )
is an idiomatic way to fetch data for all items in parallel.- An application developer or library author can provide 'shifted' implementation of the own high-order functions.
- Optional features, which enhance ergonomics in some cases, such as automatic coloring and handling discarded values
- Optional SIP-22 compatible API.
For more details, please, read the documentation at https://rssh.github.io/dotty-cps-async/.
<span id="presentations">Presentations</span>
-
Embedding generic monadic transformers into scala.
- Trends in Functional Programming 2022. https://www.slideshare.net/rssh1/embedding-generic-monadic-transformer-into-scala-tfp2022 (May 2022)
-
Scala3 & Async: Behind Futures.
- Svitla Smart Talk. https://www.youtube.com/watch?v=fBcGhjM2s-c (April 2021. In Ukrainian language).
-
Can we free concurrent programming from the monadic style?
- ScalaR: https://www.youtube.com/watch?v=ImlUuTQUeaQ (June 2020)
- ScalaUA: https://www.youtube.com/watch?v=w-noRPLxYoA&t=3s (April 2020) (slides: https://www.slideshare.net/rssh1/can-concurrent-functional-programming-be-liberated-from-monadic-style )