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