READING
Can we ScalaSQL on Duckdb?
The benefits of type safe queries is available on DuckDB through ScalaSQL. In a limited fashion.
Yeikoff
|
|
VIDEOS
Unison, from a Scala perspective
Unison is a young programming language for the cloud, built in particular by the authors of the Scala Red Book and other people who are (or were) active in the Scala community. Unison distinguishes itself from traditional programming languages by re-inventing the foundations of code storage and deployment. By doing so, it unlocks a number of very interesting properties that are rather unique in the programming landscape. This talk will be a quick introduction to the Unison "paradigm" and language, from the perspective of a long-standing Scala programmer. It'll highlight the benefit of this approach, as well as some of the caveats.
Olivier Mélois (@baccata64)
|
An Algebra of Thoughts: When Kyo effects meet LLMs
This talk will present a type-safe method for structuring LLM interactions based on Kyo effects, introducing an algebra of thoughts that simplifies complex AI workflows. We’ll demonstrate how this approach enables explicit modeling of AI capabilities, simpler management of LLM context, proper resource management, and seamless integration with Kyo's comprehensive suite of effects. Additionally, we will explore how Kyo’s effect tracking can serve as a sandboxing mechanism, facilitating safe and controlled execution of code generated by LLMs. Join us to see how Kyo’s algebraic design can transform how we think about and build reliable, scalable systems for next-generation AI.
Flavio Brasil (@flaviowbrasil)
|
Degrees of Separation: A Flexible Type System for Safe Concurrency
Capture Separation Calculus (System CSC), a calculus that models fork-join parallelism and statically prevents data races while being compatible with established programming patterns. It follows a control-as-you-need philosophy: by default, aliases are allowed, but they are tracked in the type system. When data races are a concern, the tracked aliases are controlled to prevent data-race-prone patterns. We study the formal properties of System CSC. Type soundness is proven via the standard progress and preservation theorems. Additionally, we formally verify the data race freedom property of System CSC by proving that the reduction of a well-typed program is confluent.
Yichen Xu, Aleksander Boruch-Gruszecki, and Martin Odersky
|
|
EVENTS
ScalaWAW #34, May 26th, Warsaw
Planned talks: "Scala 3 support in IntelliJ Scala Plugin" by Maciej Gorywoda and Easier Scala Builds with the Mill Build Tool" by Haoyi Li
ScalaWAW (@scalawaw)
|
Functional World #17 - Let's Teach LLMs to Write Great Scala!, May 28th, Online Event
oin Kannupriya Kalra, org admin and mentor for Google Summer of Code with Scala Center, as she takes us on a deep dive into the world of Large Language Models - this time, through a Scala lens. While most AI tooling is built around Python, this talk makes the case for a better, type-safe alternative: Scala. Discover how typed functional programming can unlock more reliable and maintainable LLM-powered applications. Learn from Kannupriya’s experience as the co-creator of LLM4S, the first Scala-first AI toolkit, and see how concepts like zero-shot prompting and agentic workflows come to life in a strongly-typed ecosystem.
Whether you're curious about building AI in Scala or looking for your next open-source project, this talk is your gateway to smarter, safer, and more scalable AI development.
Kannupriya Kalra (@KannupriyaKalra)
|
10% discount for Lambda Days, June 12th-13th, Kraków, Poland
Our event is one of the biggest functional programming conferences in Europe with 2 days packed with inspiring talks, networking opportunities, and, of course, some fun(). Use promo code Time4Scala for a special discount for our readers!
LambdaDays (@LambdaDays)
|
Scala Days, Aug 19th - 21st, Lausanne, Switzerland
Leaders from Scala User Groups and global communities, students, and language contributors will gather to discuss academic research, use cases, and visionary projects for a two-day, action-packed event.
Scala Days (@scaladays)
|
The Scala Workshop, Oct 13th, Singapore
The Scala Workshop is the continuation of the Scala Symposium, providing a forum for researchers and practitioners to discuss the design, implementation, and applications of the Scala programming language. Topics include language features, compiler internals, type systems, libraries, tools, and industrial applications.
EPFL
|
|
RELEASES
abtesstr
abtesstr is a minimal, deterministic A/B testing helper written in Scala. It allows you to build a model that assigns users to experiments. It's a part of the business4s suite.
Voytek Pituła (@Krever01)
|
ldbc 0.3.0
ldbc (Lepus Database Connectivity) is Pure functional JDBC layer with Cats Effect 3 and Scala 3. This release includes new feature additions, enhancements to existing features, disruptive changes and much more.
Takahiko Tominaga (@takapi327)
|
IntelliJ Scala Plugin 2025.1.24
This is a bug-fix release. It addresses major issues with compiler-based highlighting that were causing memory leaks, leading to slow performance. You can also expect less flaky red code, especially after using code completions.
JetBrains (@jetbrains)
|
Mill 0.12.4
With updated support for publishing to http://central.sonatype.org. With the http://oss.sonatype.org sunset on 30 June 2025, everyone using Mill to publish libraries needs to follow the upgrade instructions.
Mill contributors
|
sbt 1.11.0-RC2
The headline features of sbt 1.11.0 are: Support for the Central Repository publishing.
Eugene Yokota (@eed3si9n)
|
|
|
|
|