I'm reading @sam-cooper.bsky.social's "Kotlin Coroutine Confidence". It's a masterpiece๐ซ, even if you already know #Kotlin coroutine machinery:
It's worth your money ๐ฐ: pragprog.com/titles/sckot...
@rcardin.bsky.social
I'm reading @sam-cooper.bsky.social's "Kotlin Coroutine Confidence". It's a masterpiece๐ซ, even if you already know #Kotlin coroutine machinery:
It's worth your money ๐ฐ: pragprog.com/titles/sckot...
#DropsOf #Kafka: It's possible to force an order on messages read by consumers from a topic by using the same key for all messages to be read in order.
Naive, but effective in most cases ๐
#DropsOf #Kotlin: Kotlin was the first language on the JVM implementing continuation passing style (CSP) directly in the compiler ๐. It rewrites every suspending function using CSP, adding a `Continuation` object to the parameters and rewriting the body accordingly ๐ช
20.07.2025 13:53 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0#DropsOf #Java: Checked exceptions were a good idea โจ. They are some form of an effect system. You know precisely what kind of effects a function performs. To eliminate the effect, you need to handle it, and the compiler forces this behavior. However, they don't compose with lambdas ๐คทโโ๏ธ
19.07.2025 11:58 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0#DropsOf #kotlin: Do you know you can implement the race primitive ๐ for coroutines in just one line of code?
The `channelFlow` has its coroutineScope, and when the `first` function cancels the Flow execution, it cancels all the running coroutines that did not win the race. ๐
#Scala lovers, version 0.4.0 of the #YAES effect system is out!๐ What a journey.๐คช The new `Resource` effect is here, and now you can even zip two different `Flow`. Wow, concurrent programming on flows! ๐
Here are the release notes: github.com/rcardin/yaes...
Hey, #Scala lovers! I'll give a talk at the next @scaladays.org 2025 ๐. I still can't believe it ๐คช.
Let's meet in Losanna to share our experiences on direct-style and monadic effect systems! I'll bring my (on-going) knowledge about the former, with my library #YAES โญ๏ธ
See you there ๐
Today, I talked at Ticino Software Craft ๐งโ๐ฌ. We discussed #Scala Effect Systems, both monadic and direct-style (in detail, the #YAES effect system).
It was a pleasure to join the Ticino software community.
Thanks, guys, for the opportunity ๐
www.youtube.com/watch?v=PEiM...
Save the date ๐
! I will discuss #Scala and Direct-Style Effect Systems this Wednesday at the Ticino Software Craft meetup ๐.
See ya online ๐
www.linkedin.com/events/doyou...
On Wednesday, May 28th, I will join the team from Ticino Software Craft to share some knowledge and ideas about Effect Systems in #Scala โญ.
Everybody's welcome ๐.
You can't miss it ๐ฏ
www.linkedin.com/events/doyou...
Hello folks ๐
ScalaIO is back for another edition in 2025 ๐ฅณ
๐ It will be held at La Grande Crypte, Paris ๐ซ๐ท on the 17/10/2025
๐๏ธ Early birds tickets are already open to sales(f: Person => `scala.io`)
๐ค CFP & sponsorships will open very shortly
See you soon ๐
Version 0.3.0 of the #YAES library just landed ๐. No new effects this time, but the porting of the first bunch of methods of the #Kotlin `Flow` type! #Scala has flows now, and they compose well with YAES effects ๐
Here are the release notes: github.com/rcardin/yaes...
Yesterday I played with the #YAES library to understand what is missing to gain RT. Guess what ๐ค? Maybe I managed to introduce some form of RT in a #Scala direct-style approach. I need you ๐ซต to join the discussion:
github.com/rcardin/yaes...
cc @scalatimes.com
Hey, #Scala devs! To celebrate the Liberation Day in Italy ๐ฎ๐น(April 25th), here is a new version of the #YAES library! We added the `Log` effect that does what its name promises ๐
Keep on coding! ๐
github.com/rcardin/yaes...
@scalatimes.com
Someone tried to understand if #YAES can be successfully integrated into a Tagless-Final #Scala application ๐, and the pros and cons. I never thought someone would be interested in my library. I'm so excited ๐
22.04.2025 14:53 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Iโve been #coding for almost 20 years in the โtraditionalโ way. ๐ป Now, it's time to give AI a chance. I use it in its basic form, such as Copilot. Can someone point me to some resources to implement a more complex and effective workflow? ๐
19.04.2025 07:25 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Yo Dawg, Heard You Want To FlatMap Your Direct-Style by @rcardin.bsky.social
Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.
#Scala Effect Systems' lovers ๐, version 0.1.0 of the #YAES library is out! ๐ We added the `Clock` and the `System` effect. I know, not too much, but it's still honest work ๐
Check it out: github.com/rcardin/yaes...
cc @scalatimes.com
The video of my talk at @scalar-conf.com is finally out! ๐ In the talk, I live-coded a mini effect system using nothing but #Scala 3 context functions, building it up step by step.
youtube.com/watch?v=TXUx...
Thanks, @softwaremill.com, for this marvelous opportunity! ๐
I'm trying to use phantom types ๐ป to create an alternative definition of the Effect in #YAES. As you know, YAES is a #Scala Effect System trying to use something similar to direct-style (Capability Passing Style).
Does anybody want to join the discussion? ๐
github.com/rcardin/yaes...
I'd like to build some libraries that are usable across #Java, #Scala & #Kotlin, but I also want to be free to pick my implementation language & libraries (Project Loom, Cats-Effect, Kotlin coroutines). This helps me expose nice APIs to all devs.
Work in progress: github.com/funfix/tasks
On my way to Italy ๐ฎ๐น. Again, thanks to @scalar-conf.com and @softwaremill.com for such a fantastic organization ๐. The talks had an extremely high quality ๐
See ya!
Don't forget to leave a star โญ to my project, github.com/rcardin/yaes ๐
The last day of the @scalar-conf.com is over. Oh boy, what an adventure. ๐ Many thanks to all the people who work to make it happen ๐
Thanks to @rockthejvm.com for being such a great mentor and friend. Thanks to Martin for all the rest ๐
Yesterday was such a roller coaster! ๐ข I did my first talk ever to @scalar-conf.com, which was terrific. ๐ Here is the deck: github.com/rcardin/scal...
If you are there, letโs meet ๐คฉ
Will there be any Italian ๐ฎ๐น ๐ค ๐engineers at @scalar-conf.com? Letโs meet in Warsaw in about 1 week ๐
20.03.2025 07:27 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0In #YAES, the Async effect lifts a #Scala program to the structured concurrency world. ๐ We have Fibers to have complete control over the concurrency, but we also provided the standard primitives ๐งฑ like `race`, `pair` and `racePair`.
github.com/rcardin/yaes...
Welcome @warski.org as a next #Scalarconf speaker!
Production-ready direct-style Scala
Grab your ticket
๐ sml.io/tickets
#scalar #scala #itconference #functionalprogramming
๐ฃHey, #Scala devs. It's a pleasure my last fatigue: #YAES, a shiny new Effect System library implementing Algebraic Effects. What's different with YAES? Well, you can use a for-comprehension or a capability passing style! ๐ฑ
github.com/rcardin/yaes/
See you at the @scalar-conf.com ๐
Here is AI technology that addresses the heart of complex domains, which is where DDD sits. And we don't need to speculate much. Even the LLM technology we have today creates exciting possibilities. Watch this talk: buff.ly/3ZxFOL2 and join us for more at DDD Europe 2025!
06.03.2025 15:00 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0๐๏ธ @scaladays.org Call for Proposal is now open!
Deadline to submit your ideas โณ
6th of April 2025, 11:30 PM GMT
scala-lang.org/blog/2025/03...