Предупреждение: я делаю кросс-постинг из #scala В книге «Программирование на Scala» говорится, что типы, зависящие от пути, различаются в зависимости от конкретного экземпляра рассматриваемого пути. Если это так, я не понимаю, почему все следующие...

Пара вопросов по абстрактным типам scala. Должен ли я использовать параметризованные типы [], если я хочу использовать тип в значении конструктора? т.е. возможно ли иметь класс с абстрактными типами параметров конструктора? Если я избавлюсь от...

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

Я написал немного Scala для работы с модульной арифметикой, используя типы, зависящие от пути. Родительский класс представляет группу по модулю некоторого целого числа, а внутренний класс представляет элементы этой группы. class ModularInt(...

В Scala есть типы, зависящие от пути, но говорят, что Scala не поддерживает зависимую типизацию. В чем разница между зависимыми типами и зависимыми типами? Насколько я понимаю, зависящие от пути типы - это один из видов зависимых типов.

Итак, есть эти различные черты, которые я хочу смешать с базовым классом под названием GPState (состояние генетического программирования). Однако некоторые вещи, которые я хочу смешать, зависят от вещей, о которых я не узнаю, пока не будет создан...

(используя Скала 2.11.12) Почему это компилируется? sealed trait Inner sealed trait Outer { sealed trait I extends Inner } case object OuterA extends Outer { case object Inner1 extends I case object Inner2 extends I }...