Как определить определение циклического типа?

Question

Это недопустимое определение типа:

scala>  type Addable = { def +(subject: Addable) }
<console>:4: error: illegal cyclic reference involving type Addable
        type Addable = { def +(subject: Addable) }

Можно ли это выразить в скале?

Answer 1

Нет, не может.

На странице 40 спецификации языка Scala, версия 2.7:

Однако статическая ошибка, если псевдоним типа ссылается рекурсивно насам конструктор определенного типа.То есть тип T в псевдониме типа type t [tps] = T может не иметь прямой или косвенной ссылки на имя t .

Answer 2

Вот что я сделал в библиотеке, которую я написал, HTH:

  trait Addable {
    type AddableType <: Addable
    def + (subject: AddableType): AddableType
  }
  trait Rational extends Addable {
    type AddableType = Rational
    override def + (subject: Rational): Rational 
  }

Answer 3

Кажется, это может быть "исправлено" в Scala 2.8:

http://lampsvn.epfl.ch/trac/scala/ticket/1291