关于路径依赖类型的上下文边界和隐式参数列表的行为
我一直认为上下文边界和隐式参数列表的行为完全相同，但显然不是. 在下面的示例中，我希望 summon1[Int] 和 summon2[Int] 返回相同的类型，但它们没有.我希望 summon2[Int] 返回一个依赖于路径的类型，但它给了我一个类型投影.为什么? 欢迎使用 Ammonite Repl 2.2.0 (Scala 2.13.3 Java 11.0.2)@特质 Foo[A] {
..
type-projection相关内容
为什么这些类型参数不符合类型细化?
为什么这段 Scala 代码无法进行类型检查? trait T { type A }trait GenFoo[A0, S 我不明白为什么“类型参数 [S#A,S] 不符合 trait GenFoo 的类型参数边界 [A0,S
..
scala中`type`和`#`关键字的调查
谁能解释一下 type 关键字和 # 运算符在 Scala 中的工作原理以及如何使用它?请看例子. //示例1标度>类型 t1 = Option.type定义的类型别名 t1//因为前面的例子很简单，所以这不应该有效吗?标度>类型 t2 = String.type:7: 错误:类型不匹配；发现:String.type需要:AnyRef类型 t2 = String.type^//
..
通过类型成员而不是类型参数进行 F 有界量化?
我想将类型参数移动到类型成员. 这是有效的起点: trait Sys[S 令我烦恼的是，我在整个库中都携带了一个类型参数 [S
..
Dotty提供什么来代替类型投影?
我一直在阅读有关Dotty的内容，因为它看起来将成为scala 3，并且注意到类型投影被认为是“不合理的"，并已从语言中删除... 这似乎简直是无赖，因为我已经看到了几个用例真正有用的地方.例如: trait Contents class Foo extends Contents class Bar extends Contents trait Container[T
..
如何从投影类型推断正确的类型参数?
使用Scala从类型投影中推断正确的类型时，我会遇到一些麻烦. 请考虑以下内容: trait Foo { type X } trait Bar extends Foo { type X = String } def baz[F
..