Когато играех със зависимите типове методи на scala, срещнах конфликт с параметрите на метода по подразбиране: abstract class X { type Y case class YY(y: Y) } object XX extends X { type Y = String } trait SomeTrait { def method(x: X)(y:...

Някой знае ли какво става тук с тази грешка на компилатора? Грешката изчезва, ако не разширя INode. trait AbsTypes { type TKey type TValue } trait INode extends AbsTypes { def get(key : TKey) : TValue def set(key : TKey, v :...

Правих някои изследвания на типове, зависими от пътя. Най-доброто описание, което можах да намеря за него, беше: Ако L е етикет на тип, тогава x.L и y.L са един и същ тип, ако може да се покаже, че x и y се отнасят за един и същ обект....