Функция ограничения, основанная на происхождении (тип, зависящий от пути? Тип поколения?)

Извините за ужасный заголовок, но не уверен в лучшем. Вот грубое упрощение моей проблемы (извините, если это кажется настолько тривиальным, что это бессмысле...

Любая причина, почему Scala не поддерживает явно зависимые типы?

Зависимый от пути тип внутри значения класса в Scala

Зависимые типы не работают для конструкторов?

Что подразумевается под типами, зависящими от пути в Scala?

Типы Scala: класс A не равен T, где T равно: type T = A

Я читал раздел 20.7 книги «Программирование в Scala», и мне было интересно, почему этот код компилируется:

и неявное не может быть разрешено.

ps://jto.github.io/articles/typelevel_quicksortМы подвержены [https://jto.github.io/articles/typelevel_quicksort] : тип чейSum выглядит так:applyТеперь мы можем использовать уточнение типа напрямую вместо Aux, но остается вопрос: почему это ...

 никогда не может быть выведено.

чень сжатая версия: 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тупая кирпичная стена не ...

Предоставление зависимого от пути типа, поступающего от одноэлементного типа

Я пытаюсь заставить Scala найти правильный тип для зависимого от пути типа, происходящего из одноэлементного типа. Во-первых, вот тип контейнера для примера и один экземпляр: trait Container { type X def get(): X } val container = new Container ...

Любая причина, почему Scala не поддерживает явно зависимые типы?

Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...