Dependent Type
Зависимые типы — это типы, которые зависят от значений. Очень немногие языки поддерживают их - примеры включают Agda, ATS, Coq, Epigram, Scala (по типам, зависящим от пути, близкий вариант) и Idris, который стремится создавать качественный собственный код системного…
Вопросы100