[scala] хочу странного

yroslavasako

Можно ли как-нибудь сделать trait с абстрактным типом таким образом, чтобы этот тип был ко- контр- вариантен. То есть любой наследник этого trait объявляет свой абстрактный тип таким образом, чтобы он был наследником (предком) абстрактного типа родительского trait'а.

kill-still

чтобы он наследником

"был" не пропустил?
З.Ы. думаю такое только через рефлекшн возможно. (хз как там в scalе с ним, и есть ли RTTI вообще, и вообще может и можно)

yroslavasako

"был" не пропустил?

каюсь. А вообще я человек, испорченный питоном. Постоянно придумываю такие конструкции, которые на скале даже при её феноменально гибкой системе типизации реализовать не выходит

Barbie29

которые на скале даже при её феноменально гибкой системе типизации реализовать не выходит

это в скале сравнивать можно свойство твердое как титан со свойством грибного вкуса от пожаренных на сковороде лисичек?