Jon Pretty (@propensive) 's Twitter Profile
Jon Pretty

@propensive

Scala 3 developer

ID: 170718652

linkhttps://invariant.blog/ calendar_today25-07-2010 15:35:15

17,17K Tweet

7,7K Followers

1,1K Following

Flavio Brasil (@fbrasisil) 's Twitter Profile Photo

#Kyo 0.15.0 is out and it's yet another packed release! ✨ 🔄 new Monix integration 🚀 multithreaded Scala Native 🔒 STM effect w/ fine-grained locking + TMap ⚡️ Async.gather for parallel execution w/ results collection 🛠️ stream improvements, simplified Batch, and more

Voytek Pituła 💙/💛/🖤 (@krever01) 's Twitter Profile Photo

Scala doesn't need tooling. This got solved few times over. Scala doesn't need stability. This got solved with Scala 3. It's not perfect but we have a decent balance between stability and innovation. What scala needs is good press. When was the last time Scala was advertised

Flavio Brasil (@fbrasisil) 's Twitter Profile Photo

I wanted to avoid drama but I think I want to share my perspective on this one. I've been using Scala 3 for a few years now, and the experience has been quite surprising. Everything just works across language versions and major improvements are rarely intrusive. And that's with a

Adam Warski (@adamwarski) 's Twitter Profile Photo

Still experimental, but while this might seem as a very small #Scala feature, it's going to make pattern matching so much easier and useful - and hence more widespread. Pattern matching + immutable data is one of *the* most useful traits of FP!

Still experimental, but while this might seem as a very small #Scala feature, it's going to make pattern matching so much easier and useful - and hence more widespread.

Pattern matching + immutable data is one of *the* most useful traits of FP!
Flavio Brasil (@fbrasisil) 's Twitter Profile Photo

Fun fact: Kyo uses intersection and higher-kinded types with variance to track effects and it's something most languages can't even express! 😱 Haskell can't directly encode the unordered pending effect set, TypeScript/Kotlin/Rust lack proper HKT, and only PureScript comes close

Debasish (দেবাশিস্) Ghosh 🇮🇳 (@debasishg) 's Twitter Profile Photo

Sat evening - playing around with Kyo - the Scala 3 library for algebraic effects. Must say the Pending type `<` is simply a work of art. One monad rules it all - literally opens up the possibility of having unbounded algebraic effects that can be safely composed within the

Sat evening - playing around with Kyo - the Scala 3 library for algebraic effects. 

Must say the Pending type `&lt;` is simply a work of art.

One monad rules it all - literally opens up the possibility of having unbounded algebraic effects that can be safely composed within the
Szymon Rodziewicz (@simonrdev) 's Twitter Profile Photo

I will be speaking at Lambda Days this year! :) I will show how functional Scala with Cyfra can be used to develop GPU programs such as ray tracers and ray marchers - we will develop one live. Ambitious plan now is to clean up, expand and release Cyfra. lambdadays.org/lambdadays2025…

Flavio Brasil (@fbrasisil) 's Twitter Profile Photo

If you want to play with some cool tech and help Kyo become a viable alternative to build high-performance backend systems in Scala Native, we have a new bounty to integrate with #Aeron in #Scala Native! 👇🏽

Rúnar (@runarorama) 's Twitter Profile Photo

Here Eric Torreborre makes a compelling case for ditching brittle infra-as-code tools in favor of real programming languages. Bonus: he highlights how Unison | @unison-lang.org on bsky's content-addressed, purely functional design could revolutionize the space. 🚀 Check it out: etorreborre.blog/we-can-do-much…

Adam Hearn (@adamhearn_) 's Twitter Profile Photo

It's ideal to write functions to only accept the narrowest type required for their function, preventing implicit scope creep and complexity in testing. In many scenarios, this becomes quite daunting, requiring many parameters or a new data type to store the only fields necessary.

It's ideal to write functions to only accept the narrowest type required for their function, preventing implicit scope creep and complexity in testing. In many scenarios, this becomes quite daunting, requiring many parameters or a new data type to store the only fields necessary.
LambdaConf 2025 (@lambda_conf) 's Twitter Profile Photo

LAST CHANCE! Early Bird Tickets for our Paid Workshops end this week 👀 Principled Metaprogramming in Scala 3 with Jon Pretty Get tickets here: eventbrite.com/e/workshop-pri… Complete APL: Real-world Apps, Real Small Code with Aaron W. Hsu Get tickets here: eventbrite.com/e/workshop-com…

LambdaConf 2025 (@lambda_conf) 's Twitter Profile Photo

This unicorn won't be sharing his notes, so you better book your seat if you haven't already 👀 APL workshop: buff.ly/tovxi32 Scala 3 workshop: buff.ly/0yXbIvE Instructors: Aaron W. Hsu Jon Pretty

This unicorn won't be sharing his notes, so you better book your seat if you haven't already 👀 

APL workshop: buff.ly/tovxi32 

Scala 3 workshop: buff.ly/0yXbIvE 

Instructors: <a href="/arcfide/">Aaron W. Hsu</a> <a href="/propensive/">Jon Pretty</a>
John A De Goes (@jdegoes) 's Twitter Profile Photo

Just blogged, 'Waving a Fond Farewell to LambdaConf'. After 10 years, the 2025 edition of LambdaConf will be the iconic brand's last public event. 😢 There's still time to grab a ticket and join me in this celebration of programming at the frontier! 👇 ziverge.com/post/waving-a-…

Stefan Zeiger (@stefanzeiger) 's Twitter Profile Photo

perfIO 0.2 is finally out! The work on the main new feature, output filters, took me far too long, and required several redesigns. Filters exchange blocks with the underlying BufferedOutput (instead of copying) and support sync, async and parallel implementations.

perfIO 0.2 is finally out! The work on the main new feature, output filters, took me far too long, and required several redesigns. Filters exchange blocks with the underlying BufferedOutput (instead of copying) and support sync, async and parallel implementations.
@baldram@functional.cafe 🔸️ Marcin Szałomski (@baldram) 's Twitter Profile Photo

Jakub Zalas [2/2] Switched to Chiaroscuro from Jon Pretty's Soundness platform. github.com/propensive/sou… The results speak for themselves - clean, readable output that scales beautifully even with massive data structures. (PS: Initially explored Difflicious, and this macro story from this

<a href="/jakub_zalas/">Jakub Zalas</a> [2/2] Switched to Chiaroscuro from <a href="/propensive/">Jon Pretty</a>'s Soundness platform. github.com/propensive/sou…

The results speak for themselves - clean, readable output that scales beautifully even with massive data structures.

(PS: Initially explored Difflicious, and this macro story from this
Georgii Kovalev (@goshacodes) 's Twitter Profile Photo

As a pet project I’m working on mobile app for freelancers where you can track your contacts/customers, schedule follow up remainders, take notes, use checklists for specific customer etc. Do you think anyone would need it? What would you add there if so?