The Scala 3 compiler, also known as Dotty.

Lightweight, modular, and extensible library for functional programming.

From neural networks to the Category of composable supervised learning algorithms in Scala with compile-time matrix checking based on singleton-types