Результаты поиска по запросу "path-dependent-type"

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

scala dependent-type shapeless

4 ответа

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

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