Rock the JVM Rock the JVM
ROCKTHEJVM
CoursesArticlesPodcastVideosSign InJoin Rock the JVM

Articles tagged with 'scala-3'

Compile-time data contracts in Scala 3

38 min read  •  Jan 19, 2026  •  Guide

Advanced

scala

scala-3

macros

Build Scala compile-time data contracts with macros, TypeInspector patterns, and policy-driven validation so schema drift fails at compile time instead of midnight in production

Vitthal Mirji

Vitthal Mirji

Coroutines, Event Loops - Build Your Own in Scala

15 min read  •  Oct 23, 2025  •  Guide

Intermediate

coroutines

graalvm

scala

What better way to learn about concurrency than roll your own?

Chia-Hung Lin

Chia-Hung Lin

Creating a CLI Sudoku Solver with Scala Native

21 min read  •  Jan 9, 2023  •  Guide

Beginner

algorithms

cats

scala-3

Scala CLI is a powerful tool for prototyping and building Scala applications: learn how to use Scala Cli, Scala Native, and decline to create a brute-force Sudoku solver

Antonio Gelameris

Antonio Gelameris

Scala Developer | iov42

Enums in Scala 3: Quickly Explained

3 min read  •  Sep 29, 2020  •  Explanation

Beginner

scala

scala-3

Scala 3 Introduces Enums: A Major Update with Significant Implications

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3 Inlines Explained

10 min read  •  Feb 1, 2025  •  Explanation

Beginner

scala

scala-3

metaprogramming

Learn Scala 3 inlines - a powerful tool for code expansion at compile time, which can improve type safety and (if you know what you're doing) performance

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Anti-Givens Quickly Explained

4 min read  •  Jun 30, 2021  •  Guide

Intermediate

scala

scala-3

type-system

Discover a Scala 3 trick few developers know: leveraging the absence of a given instance to enforce type constraints

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Extension Methods Quickly Explained

4 min read  •  Apr 12, 2021  •  Explanation

Intermediate

scala

scala-3

type-system

Deconstructing extension methods: one of the most exciting features of the upcoming Scala 3

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: General Type Projections

7 min read  •  May 17, 2022  •  Explanation

Intermediate

scala

scala-3

type-system

Scala's general type projections are considered unsound and were removed in Scala 3: discover what this means and how it affects your code

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Given and Using Clauses

7 min read  •  Nov 16, 2020  •  Explanation

Intermediate

scala

scala-3

Explore Scala 3's given/using clauses: a crucial feature for modern Scala programming, and learn how to leverage them effectively

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Givens and Implicits Quickly Explained

5 min read  •  Apr 2, 2021  •  Explanation

Beginner

scala

scala-3

This quick article demonstrates how Scala 3's given instances integrate seamlessly with Scala 2's implicits

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Givens vs Implicits Quickly Explained

7 min read  •  Nov 18, 2020  •  Explanation

Beginner

scala

scala-3

Building on the previous article's insights into givens, let's explore how they stack up against the traditional Scala implicits

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Indentation Quickly Explained

6 min read  •  Nov 2, 2020  •  Explanation

Beginner

scala

scala-3

Some people love it, some hate it: Scala 3's indented syntax might surprise you with its potential to enhance your code structure

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Mastering Path-Dependent Types and Type Projections

5 min read  •  Nov 27, 2020  •  Explanation

Intermediate

scala

scala-3

type-system

Unlock advanced programming techniques with Scala 3: explore dependent types, methods, and functions in this concise tutorial

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Match Types Quickly Explained

7 min read  •  Feb 2, 2021  •  Explanation

Intermediate

scala

scala-3

type-system

Scala 3 comes with lots of new features: in this episode, we dive into match types, a powerful tool for pattern matching on types and more accurate type checking

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: New Types Quickly Explained

7 min read  •  Sep 25, 2020  •  Explanation

Beginner

scala

scala-3

type-system

Explore the Game-Changing New Types in Scala 3: What We're Eagerly Anticipating

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Opaque Types Quickly Explained

4 min read  •  Oct 2, 2020  •  Explanation

Intermediate

scala

scala-3

type-system

Explore opaque type aliases in Scala 3 and learn how to define new types with zero overhead

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: The Evolution of a Macro

60 min read  •  Apr 10, 2025  •  Guide

Advanced

fp

scala

scala-3

Discover how a macro can evolve to reduce boilerplate in your code

Daniel Beskin

Daniel Beskin

Scala 3: Traits Quickly Explained

4 min read  •  Sep 29, 2020  •  Explanation

Beginner

scala

scala-3

traits

This article delves into Scala 3's advanced trait functionalities, building on our previous explorations of the language's new features

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Type Lambdas Quickly Explained

4 min read  •  Oct 7, 2020  •  Explanation

Advanced

scala

scala-3

type-system

Exploring type lambdas in Scala 3: a quick yet powerful structure that will elevate your high-level thinking

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Scala 3: Type-Level Programming

84 min read  •  Dec 6, 2023  •  Guide

Advanced

fp

scala

scala-3

Discover how type-level programming can be used to tackle practical problems effectively

Daniel Beskin

Daniel Beskin

The Effect Pattern and Effect Systems in Scala

35 min read  •  Feb 17, 2026  •  Explanation

Intermediate

scala-3

fp

effect-systems

Explore Scala effect systems from monadic approaches (Cats Effect, ZIO, Kyo) to novel direct-style handlers using context functions, including Ox and YAES

Riccardo Cardin

Riccardo Cardin

SSE | lastminute.com

Type-Level Programming in Scala 3: Part 1 - Comparing Types

9 min read  •  Oct 4, 2021  •  Guide

Advanced

fp

scala

scala-3

Harness the power of givens to infer type relationships in Scala 3: at compile time

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

Type-Level Programming in Scala 3: Part 2 - A Quicksort on Types

16 min read  •  Oct 11, 2021  •  Guide

Advanced

fp

scala

scala-3

Level 90 of type-level programming: implementing a real sorting algorithm on lists as types

Daniel Ciocîrlan

Daniel Ciocîrlan

Founder | Rock the JVM

This site uses cookies. Check our cookie policy (TLDR: no personal information is stored). For more information see our cookie policy.

Footer

Subscribe to our newsletter!

This site is built on trust, and your data is safe. Check out the privacy policy .

Thank you for subscribing! Check your email for confirmation.

Content

  • Articles
  • Courses
  • Videos
  • Scala Courses
  • Kotlin Courses
  • Typelevel Courses
  • ZIO Courses
  • Apache Spark Courses
  • Apache Flink Courses
  • Akka/Pekko Courses

Support

  • Contact
  • Memberships

Company

  • About

Policies

  • Cookie
  • Privacy
  • Refund
  • Terms
  • Trademark
  • Facebook
  • GitHub
  • LinkedIn
  • Twitter
  • YouTube
  • RSS

© 2017–2026 Accelerated Learning System SRL