为什么我不能指定特征的子类？
scala> class A defined class A scala> trait T extends A { val t = 1 } defined trait T //why can I do this? scala> class B extends T de…
Scala 中的动态属性
Scala 支持动态属性之类的东西吗？示例： val dog = new Dynamic // Dynamic does not define 'name' nor 'speak'. dog.name = "Rex" // New property…
如何获取泛型类型的实际类型？
有一个具有泛型类型的类： class Action[T] 创建它的一些实例，放入列表中： val list = List(new Action[String], new Action[Int]) 迭代它，如何获…
如何开始使用 Scala
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
Scala 类型不匹配错误尝试将参数化或抽象类型构造函数视为其上限
精简示例： trait WithUpperBounds[AA[_] <: Set[_], Node, Edge] { val nodes: AA[Node] val edges: AA[Edge] } class WithoutUpperBounds[AA[_] &…
我的方法和 Predef 中的一致性之间存在隐含歧义的问题
以下代码，摘自Apocalisp的优秀博客系列： scala 中的类型级编程 ，并修改对于隐式解析场景。但是，这不会编译，并显示以下消息： error: ambiguous i…
有没有办法在 Scala 的 REPL 中使用 ctrl-d 作为前向删除？
所以在 Scala REPL 中，我可以使用 ctrl-{p,n,a,e} 来执行上一个、下一个、行首和行尾。然而，如果我不能使用 ctrl-d 进行转发删除，我很快就会发疯。…
一阶参数多态性和一阶函数
我正在阅读论文 Generics of a Higher Kind，第一句话是 使用 Java 5 和 C# 2.0，一阶 引入参数多态性 在主流的面向对象中 名称下的编程语言 泛型。 …
为什么在调用受约束特征的方法时不查找自身类型？
假设 trait A { def t : Int } trait B { this: A => } 为什么编译器不“知道”我可以在 B 上调用 t ？ def test(b: B): Int = b.t // doesn't work…
