Отсутствует динамическое связывание при абстрактном типе, участвующем в Scala?

Question

Когда я пытался пример животных/Корм ​​для абстрактных типов в Программирование Одерски в Scala,

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), то она будет хорошо тратить траву.