У меня есть черта обертки: trait Wrapper[T] { ... type Own[F[_]] <: OwnThing[F] def...
Этот код должен скомпилироваться в Scala: trait Pipe { type Input type Output def apply(input:...
Я пытаюсь разрешить пользователю выполнять поиск по любому из 4 критериев, а оставшиеся 3 поля...
В моем приложении у меня есть закрытый набор операций, которые возвращают соответствующий набор...
В методах есть поддержка зависимых типов, но не обычных функций. Зачем ? как с технической, так и с...
Экспериментируя с типами, зависящими от пути, я получил неожиданные результаты: object Funny1 {...
Следующий пример кода не компилируется с ошибкой, указанной ниже. class Outer { class Inner val...
У меня есть F-ограниченный тип, и моя цель - создать метод с параметризацией типа, чтобы иметь...
У меня проблемы с типами, зависящими от пути. У меня есть несколько типов Foo с абстрактным членом...
Предположим, что у меня есть некоторая черта Foo, например: trait Foo { def bar: List[Int] def...
У меня возникли проблемы с зависимыми от пути типами и ковариантными параметрами.Мне нужно создать...
Я пытаюсь заставить Scala найти правильный тип для зависимого от пути типа, поступающего из...
Я пытаюсь сделать следующее с Scala 2.10.0-M1: trait Container { type X } class Test[C <:...
TL & DR: Можно ли (локально?) Отключить ввод с использованием пути? Я хотел бы выпустить один...
Иногда в Scala я обнаруживаю несоответствия типов, связанные с типами, зависящими от пути, но я...
Я ищу способ ограничить вызовы определенных объектов.Учитывая транзакционную систему, которая...
Редактировать : Благодаря тому, что Дерек указал на критическую часть сообщения об ошибке, я смог...
В классе Scala я могу легко объявить тип возвращаемого значения метода как this.type, чтобы...
Как я могу разработать метод, который возвращает тип, зависящий от пути?В следующем примере я...
trait A { trait B { def foo: A.this.B = new B{} def bar: A#B = foo def baz: A.this.B = bar // type...
Я хотел бы разбить мой плагин scalac на несколько файлов. Это звучит просто, но мне не удалось...
Я проводил некоторые исследования по типам, зависящим от пути.Лучшее описание, которое я мог найти...
Вот очень сжатая версия: case class Brickwall[A](otherSide: A) trait Monoman { def me(m: this
Вот еще один для импликатов и зависимых от пути типов. Я не понимаю, почему мне нужно быть таким...
Я хотел бы использовать систему типов Scala для ограничения операций в системе, где есть версионные...