Как указать Scala не повышать абстрактный тип?

У вашего кода есть проблема с компиляцией - kennel.animal неразрешима, поскольку класс Kennel не предоставляет animal как общедоступное поле; это легко решается добавлением val перед animal.

Что, кажется, беспокоит вас, так это то, что Kennel ничего не знает о лежащем в основе животном, кроме того, что это Animal. Прохождение мимо бульдога воспринимается как прохождение мимо какого-то животного.

Попробуйте добавить дополнительную информацию о типе в Kennel:

class Kennel[A <: Animal](val animal: A) {  }

def getSupply[A <: Animal](kennel: Kennel[A]): kennel.animal.Food

val kennel = new Kennel(bulldog)
val df2: bulldog.Food = getSupply(kennel)

Теперь Kennel знает точный тип animal (например, Bulldog), а getSupply может вернуть точный тип пищи для этого животного.

Вот полный рабочий код, который вы можете попробовать:

trait Steak {
  override def toString() = "steak"
}

trait Animal {
  type Food
  def defaultFood(): Food
}

class Bulldog extends Animal {
  type Food = Steak
  def defaultFood() = new Steak {}
}

class Kennel[A <: Animal](val animal: A)

object Test extends App {

  def getSupply[A <: Animal](kennel: Kennel[A]): kennel.animal.Food = kennel.animal.defaultFood()

  val bulldog = new Bulldog()
  val kennel = new Kennel(bulldog)
  val df2: bulldog.Food = getSupply(kennel)

  println(df2) // prints "steak"
}

Параметрический полиморфизм (т. е. классы типов) — лучший способ смоделировать это. Основная операция здесь заключается в том, что у вас есть животное, и вы должны найти экземпляр его любимой еды. Превратите это в класс типов и предоставьте экземпляры для конкретных животных и их любимых блюд. Например.:

@annotation.implicitNotFound(
  "Couldn't confirm that ${Animal}'s favourite food is ${Food}")
trait DefaultFood[Animal, Food] { def apply(animal: Animal): Food }
object DefaultFood {
  /** Helper to easily implement typeclass instances. */
  class Impl[Animal, Food](getFood: Animal => Food)
    extends DefaultFood[Animal, Food] {
    override def apply(animal: Animal): Food = getFood(animal)
  }
}

class Bulldog
object Bulldog {
  type Steak = String // Or whatever.

  implicit val defaultFood: DefaultFood[Bulldog, Steak] =
    new DefaultFood.Impl(_ => "Steak")
}

class Kennel[Animal, Food](
  animal: Animal)(implicit defaultFood: DefaultFood[Animal, Food]) {
  def getSupply: Food = defaultFood(animal)
}

object Test {
  val kennel = new Kennel(new Bulldog) // Kennel[Bulldog, Bulldog.Steak]
}

Это распространяет универсальные типы вперед в класс Kennel, но из-за вывода типов Scala вам фактически не нужно указывать типы. Кроме того, аннотация @implicitNotFound дает вам хорошее сообщение об ошибке компиляции, если нет экземпляра класса типов для определенного животного и его пищи.

Обратите внимание, что типы Animal и Food на самом деле не обязательно должны быть животными и продуктами питания; это просто семантика, которую мы здесь используем. Если вы посмотрите на это с самой общей точки зрения, этот класс типов на самом деле является просто функцией типа A => B для некоторых A и B.