idris

140зной

2ответ

Я начинаю погружаться в программируемое программирование и обнаружил, что языки Agda и Idris наиболее близки к Haskell, поэтому я начал там. Мой вопрос: что является основным отличием между ними? Явля

6зной

2ответ

Cabal не может установить язык Idris на OSX Lion

Я пытаюсь установить язык Idris в OSX Lion, используя руководство по установке, представленное на official tutorial. У меня есть alraedy, установленный GMP. Это ошибка, я получаю: $ cabal install idri

5зной

1ответ

Как я могу получить исходный код стандартной библиотеки Idris?

Меня интересует, потому что я хотел бы проверить определения встроенных функций в Prelude. Я искал его, но найти только скомпилированные файлы в ~/.cabal/доли/Идрис ...

5зной

2ответ

Как могут работать конечные числа? (зависимые типы)

Я интересуюсь зависимыми языками. Конечные числа кажутся мне полезными. Например, чтобы безопасно индексировать массивы фиксированного размера. Но определение для меня не ясное. Тип данных для конечны

14зной

1ответ

Впечатано в печатном виде в Idris

Я пытаюсь перевести на Идрис пример из Cayenne - язык с зависимыми типамиpaper. Вот то, что я до сих пор: PrintfType : (List Char) -> Type PrintfType Nil = String PrintfType ('%' :: 'd' :: cs) =

36зной

2ответ

Практические примеры Idris

Есть ли примеры Idris, которые могут быть использованы для изучения и, возможно, применения для применения в обычном/реальном мире? Я уверенно владею Haskell, из которых Идрис, кажется, значительно за