Результаты поиска по запросу "path-dependent-type"
Любая причина, почему Scala не поддерживает явно зависимые типы?
Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...
Предоставление зависимого от пути типа, поступающего от одноэлементного типа
Я пытаюсь заставить Scala найти правильный тип для зависимого от пути типа, происходящего из одноэлементного типа. Во-первых, вот тип контейнера для примера и один экземпляр: trait Container { type X def get(): X } val container = new Container ...
и неявное не может быть разрешено.
ps://jto.github.io/articles/typelevel_quicksortМы подвержены [https://jto.github.io/articles/typelevel_quicksort] : тип чейSum выглядит так:applyТеперь мы можем использовать уточнение типа напрямую вместо Aux, но остается вопрос: почему это ...
Типы Scala: класс A не равен T, где T равно: type T = A
Я читал раздел 20.7 книги «Программирование в Scala», и мне было интересно, почему этот код компилируется:
Зависимый от пути тип внутри значения класса в Scala
Я хотел бы дать значение типа с абстрактным типом классу и позже использовать его зависимый от пути тип. Посмотрите на следующий пример (используя Scala 2.10.1): trait Foo { type A def makeA: A def useA(a: A): Unit } object Test { class IntFoo ...
никогда не может быть выведено.
чень сжатая версия: case class Brickwall[A](otherSide: A) trait Monoman { def me(m: this.type): Unit } def test(m: Monoman): Unit = m.me(Brickwall(m).otherSide) -> error: type mismatch; found : Monoman required: m.typeтупая кирпичная стена не ...
Зависимые типы не работают для конструкторов?
Полезны зависимые от пути типы: trait Sys { type Global } def foo[S <: Sys](system: S)(global: system.Global) = ()Почему это не работает для конструкторов? class Foo[S <: Sys](val system: S)(val global: system.Global)Или я просто делаю это ...
Страница 1 из 2