Scala 3: Path-Dependent Types, Methods and Functions

How path-dependent types, dependent methods, and dependent functions work in Scala 3.

Scala 3 New Features course for Scala 2 developers: rockthejvm.com/p/scala-3-new-features Written version: blog.rockthejvm.com/scala-3-dependent-types/ This video shows how nesting types can lead to some interesting questions, problems and powers in Scala (and Scala 3 in particular). We discuss - nesting types - instance-dependent and path-dependent types - some examples where dependent types are useful - dependent methods - dependent functions (exclusive to Scala 3). Mentioned concepts/videos: Type Lambdas: youtube.com/watch?v=b1C8ybLpzUc Type-Level Programming: youtube.com/watch?v=qwUYqv6lKtQ&list=PLmtsMNDRU0ByOQoz6lnihh… How to get started with Scala 3/Dotty: Option 1: install IntelliJ IDEA at jetbrains.com/idea with the Scala plugin which offers support for Scala 3/Dotty Option 2: check the official Dotty instructions at dotty.epfl.ch/docs/usage/ide-support.html Follow Rock the JVM on: LinkedIn: linkedin.com/company/rockthejvm Twitter: twitter.com/rockthejvm Blog: blog.rockthejvm.com ------------------------------------------------------------------------- Home: rockthejvm.com -------------------------------------------------------------------------