Результаты поиска по запросу "path-dependent-type"

Я хотел бы дать значение типа с абстрактным типом классу и позже использовать его зависимый от пути тип. Посмотрите на следующий пример (используя Scala 2.10.1): trait Foo { type A def makeA: A def useA(a: A): Unit } object Test { class IntFoo ...

constructor scala

1 ответ

Зависимые типы не работают для конструкторов?

Полезны зависимые от пути типы: trait Sys { type Global } def foo[S <: Sys](system: S)(global: system.Global) = ()Почему это не работает для конструкторов? class Foo[S <: Sys](val system: S)(val global: system.Global)Или я просто делаю это ...