Core concept
type Elem[X] = X match
case String => Char
case List[t] => tAdvertisement
How it works
Advanced. Complexity.
Advertisement
Trade-offs + gotchas
Library authors. Type-safe abstractions.
type Elem[X] = X match
case String => Char
case List[t] => tAdvanced. Complexity.
Library authors. Type-safe abstractions.