У меня проблемы с использованием в одной характеристике синтаксического анализатора, возвращенного методом в другой характеристике. Компилятор жалуется на несоответствие типов, и мне кажется, что проблема связана с классом, зависящим от пути. Я не...

Мне неясно, как добиться зависимых от пути типов в следующем фрагменте. Намерение состоит в том, чтобы иметь возможность использовать метод «объединения» для объединения двух куч. Для этого AFAIK требуются типы, зависящие от пути. Вот это черта...

Скажем, у нас есть эти вложенные классы и экземпляр A : class A { case object B case class C(c: Int) } val a1 = new A() Теперь я могу проверить, что a1.B является экземпляром a1.B.type , но как я могу проверить, что тип a1.B...