Результаты поиска по запросу "bounded-quantification"

4 ответа

F-ограниченная квантификация через член типа вместо параметра типа?

Я хотел бы переместить параметр типа в член типа. Это отправная точка, которая работает: trait Sys[S <: Sys[S]] { type Tx type Id <: Identifier[S#Tx] } trait Identifier[Tx] { def dispose()(implicit tx: Tx): Unit } trait Test[S <: Sys[S]] { def ...

4 ответа

F-ограниченная квантификация через член типа вместо параметра типа?

ТОП публикаций