Scala 3: Path-Dependent Types, Methods and Functions

Scala 3 New Features course for Scala 2 developers:
https://rockthejvm.com/p/scala-3-new-...

Written version: https://blog.rockthejvm.com/scala-3-d...

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:    • Type Lambdas in Scala 3 | Rock the JVM  
Type-Level Programming:    • Type-Level Programming in Scala, part...  

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 https://dotty.epfl.ch/docs/usage/ide-...

Follow Rock the JVM on:
LinkedIn:   / rockthejvm  
Twitter:   / rockthejvm  
Blog: https://blog.rockthejvm.com

-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------