我一直在阅读有关 Dotty 的文章，因为它看起来即将成为 Scala 3，并注意到类型投影被认为是“不健全的”并从语言中删除......

这似乎很糟糕，因为我已经看到了几个非常有用的用例。例如：

trait Contents
class Foo extends Contents
class Bar extends Contents

trait Container[T <: Contents] { type ContentType = T }
class FooContainer extends Container[Foo]
class BarContainer extends Container[Bar]

trait Manager[T <: Container[_]] { 
  type ContainerType = T 
  type ContentType = T#ContentType
  def getContents: ContentType 
  def createContainer(contents: ContentType): ContainerType
}

如何在 Dotty 中做这样的事情？将第二个类型参数添加到Manager? 但是，除了创建和操作 的实例变得非常乏味这一事实之外Manager，它也不太有效，因为没有办法强制执行这两种类型之间的关系（Manager[FooContainer, Bar]不应该是合法的）。

然后，还有其他用途，如类型 lambdas 和部分应用类型，可用于创建有偏差的函子等……或者这些（部分应用类型）是否成为 Dotty 中的“一等公民”？

编辑

为了回答评论中的问题，这里有一个有点人为的例子，可以使用他的 this 。让我们假设，我Managers实际上是 Akka Actors …

我正在尝试使用Visual Studio Code来运行 dotty 代码。我开始使用IDEsbt launchIDE根据来自指令这个页面，我也安装Dotty Language Server和Code Runner扩展。Dotty 是使用安装的brew，我可以从 CMD 编译和执行 dotty 代码。

问题是我无法运行此代码，Visual Studio Code因为我Code Runner试图使用 scala 而不是 dotty 来执行它。

找不到任何有用的配置来调整此插件以使用 dotty。

有什么方法可以让它从 Visual Studio Code UI 工作吗？

由于我无法控制的原因，我的方法以元组的形式接收输入。这个元组应该只包含 的实例Foo，即它应该看起来像(Foo, Foo ... Foo)并且不应该有String或Int在里面。我想在编译时检查这个而不是在运行时抛出异常。我怎样才能做到这一点？

以下是我目前拥有的代码，这是不对的：

def f(tupleOfFoos: Tuple): Tuple = {
  for (x <- tupleOfFoos) assert(x.isInstanceOf[Foo])
  mapTuple(tupleOfFoos, irrelevantFunction)
}

我愿意使用 Shapeless 或 Dotty/Scala 3 中引入的新功能。

我正在尝试但未能让这样的东西在 Scala 3 中工作：

type TupleK[K[*], V[*], A] = (K[A], V[A]) 

final class MapK[K[*], V[*]] private (val rawMap: Map[K[?], V[?]]) {
    
  def foreach(f: TupleK[K, V, ?] => Unit): Unit = {
    rawMap.foreach(f.asInstanceOf[Tuple2[K[?], V[?]] => Any])
  }
}

object MapK {
  
  def apply[K[*], V[*]](entries: TupleK[K, V, ?]*): MapK[K, V] = {
    new MapK[K, V](Map(entries: _*))
  }
}

像这样使用：

class Key[A]()
  
type Id[A] = A
  
val intKey = Key[Int]
val strKey = Key[String]

MapK[Key, Id](intKey -> 1, strKey -> "a")

在 Scala …