Type-Level Programming in Scala 3, Part 2: A Quicksort on Types
Level 90 of type-level programming: a real sorting algorithm on lists… as types.
Recent posts
Type-Level Programming in Scala 3, Part 1: Comparing Types
Learning how to use the power of givens to infer type relationships in Scala 3… at compile time.
Event Streaming with Apache Pulsar and Scala
Apache Pulsar is a cloud-native, distributed messaging and streaming platform that manages hundreds of billions of events per day. We’ll learn what makes it ...
Custom Pattern Matching in Scala
Pattern matching is one of Scala’s most powerful features. In this article, we’ll how to customize it and create our own patterns.
Another Take at Monads: A Way to Generalize Chained Computations
We’ve talked about monads quite a lot on Rock the JVM. In this article, we’ll approach them from yet another angle.
ZIO Kafka: A Practical Streaming Tutorial
Apache Kafka has proven itself as a reliable and scalable communication bus between distributed application components. We’ll learn to use ZIO to interact wi...
Why Should You Care About Referential Transparency?
Referential transparency is your best tool for productivity as a functional programmer in Scala. In this article, we’ll talk about what it is and why it’s im...
Exploiting Implicit Ambiguity in Scala
In this article, I’ll show you how you can exploit the implicit resolution mechanism in Scala to enforce type relationships at compile time.
Scala 3: Anti-Givens
Showing a Scala 3 trick that few developers know: exploiting the absence of a given instance to enforce type relationships.
ZIO: Introduction to Fibers
Many libraries implement the effect pattern in the Scala ecosystem, and every one has its own concurrency model. First, let’s introduce the ZIO library and i...