Here is a short example in Scala 3: type Ext[S <: Seq[_]] = S match { case Seq[t] => t } trait XX[A, B <: Seq[A]] trait XX1[B <: Seq[_]] extends XX[Ext[B], B] So far it appears t...

I'm trying to take an arbitrary tuple of Futures and return a tuple of the completed future's values, while providing a time limit for the completion of the futures. I'm trying to use Tuple's provi...

I'm trying to zip tuples together and use match types to get the exact type of the resulting zip. I have a match type and the function: type Z[A <: Tuple, B <: Tuple] <: Tuple = (A, B) ma...

Let's say I want to represent a vector using a matched type like this: type V[I <: Int, N] = I match case 2 => (N, N) case 3 => (N, N, N) case 4 => (N, N, N, N) so now I can declare...

Given: abstract class Quantity[A <: Quantity[A]] sealed trait UnitOfMeasure[A] class Time extends Quantity[Time] object Minutes extends UnitOfMeasure[Time] class PowerRamp extends Quantity[Pow...

I'm learning Scala 3, and I was intrigued by match types and literal types. I'd like to write a function that takes one of a few literal types, and returns a particular type as a function of which ...

I was very curious to see if I could port my untyped project to be typed with Scala 3. Here was my start: object Main { type HtmlNodeRecord[X]= X match { case "tag" => String case &...

I was trying to implement the SKI combinator calculus in Dotty using match types. A quick description of the SKI combinator calculus: S, K, and I are terms (xy) is a term if x and y are terms and ...

I have been reading about Dotty, since it looks like it is about to become scala 3, and noticed that type projections are deemed "unsound" and removed from the language ... This seems like a bumme...