抽象类型涉及Scala时没有动态绑定？

Question

当我试图在斯卡拉在马丁·奥德斯基的编程抽象类型的动物/食品例，

class Food 
abstract class Animal { 
    type SuitableFood <: Food 
    def eat(food:SuitableFood) 
} 
class Grass extends Food 
class Cow extends Animal { 
    type SuitableFood=Grass 
    override def eat(food:SuitableFood) {} 
} 
val bessy:Animal = new Cow 
bessy.eat(new Grass) 

我得到了以下错误：

scala> <console>:13: error: type mismatch; 
found : Grass 
required: bessy.SuitableFood 
        bessy.eat(new Grass) 
          ^

原例如通过马丁bessy.eat(new Fish) ，这肯定会失败，但我没想到它也会因为Grass而失败。通过让bessy为Cow而不是Animal：val bessy:Cow = new Cow可以避免上述错误。

这是否意味着动态绑定在这里不起作用？

编辑： 简单的动态进行定期继承Scala中绑定：

abstract class Parent { 
    def sig:String = "Parent" 
} 
class Child extends Parent { 
    override def sig:String = "Child" 
} 

而且我有这个，在x:Parent给儿童还有：

scala> new Child().sig 
res1: String = Child 

val x:Parent = new Child() 
x: Parent = Child@3a460b07 

x.sig 
res2: String = Child 

Answer 1

Scala是静态类型。一个任意的动物不能吃草，而你刚刚试图给任意一只动物喂草。它恰好是一头牛，但你已经说过（与: Animal），编译器可能只能假设它是一只动物。

如果你允许编译器知道bessy是Cow（val bessy = new Cow），那么她会吃草很好。