Результаты поиска по запросу "dependent-type"
и неявное не может быть разрешено.
ps://jto.github.io/articles/typelevel_quicksortМы подвержены [https://jto.github.io/articles/typelevel_quicksort] : тип чейSum выглядит так:applyТеперь мы можем использовать уточнение типа напрямую вместо Aux, но остается вопрос: почему это ...
Любая причина, почему Scala не поддерживает явно зависимые типы?
Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто [http://en.wikipedia.org/wiki/Dependent_type]более явно, как это ...
Можете ли вы создать функции, которые возвращают функции зависимой арности на языке с зависимой типизацией?
Из того, что я знаю о зависимых типах, я думаю, что это возможно, но я никогда раньше не видел такого примера на языке с зависимой типизацией, поэтому я не с...
Тип аргумента конструктора класса Case в зависимости от предыдущего значения аргумента
Я пытаюсь сделать следующее
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что "Haskell постепенно становится типизированным языком ", Предполагается, что с появлением все ...
Как перечислить элементы списка по 'Fin`s в линейное время?
Мы можем перечислить элементы списка следующим образом:
Какой хороший способ представлять свободные группы?
Легко представить свободные магмы (бинарные листовые деревья), свободные полугруппы (непустые списки) и свободные моноиды (списки), и нетрудно доказать, что ...