Структурная рекурсия по зависимому параметру

Как индексировать тип «элемент» по значению «контейнер источника»?

Итак, у меня есть ситуация, очень похожая на этот (очень упрощенный) код: import Data.Maybe import Data.List data Container a = Container [a] -- Assumption: an Element can only obtained from a Container. The operation -- guarentees the Element ...

Как индексировать тип «элемент» по значению «контейнер источника»?

Итак, у меня есть ситуация, очень похожая на этот (очень упрощенный) код:

Почему бы не быть зависимым типом?

Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не ...

Почему бы не быть зависимым типом?

Я видел несколько источников, повторяющих мнение, что "Haskell постепенно становится типизированным языком ", Предполагается, что с появлением все ...

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

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

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

Что такое зависимая типизация?

Может кто-нибудь объяснить мне зависимую типизацию? У меня мало опыта работы с Haskell, Cayenne, Epigram или другими функциональными языками, поэтому чем проще использовать термины, тем больше я это ценю!

Как сделать шрифт с ограничениями

Например, я хочу сделать тип MyType целочисленных троек. Но не только декартово произведение трех целых чисел, я хочу, чтобы тип представлял все (x, y, z) так, чтобы x + y + z = 5 Как мне это сделать? За исключением использования просто (x, y), ...