dependent-method-type

Фон Предположим, что у меня есть некоторые вложенные черты: trait Foo { trait Bar } И пара примеров: val myFoo = new Foo {} val myBar = new myFoo.Bar {} Я могу написать следующее, что выглядит (по крайней мере, на первый взгляд) так, как будто они должны делать более или менее одно и то же: def wh...

зависимые типы методов, которые раньше были экспериментальной функцией, теперь были включен по умолчанию в багажнике, и, видимо, это, кажется, создало какие-то волнения в сообществе Scala. на первый взгляд, не сразу понятно, для чего это может быть полезно. Хейко Зеебергер опубликовал простой пример зависим...