AskDev.ru — спроси разработчика

  • Языки
    • java
    • javascript
    • python
    • php
    • c
    • objective-c
    • ruby
    • perl
  • Фреймворки
    • jquery
    • twitter-bootstrap
    • ruby-on-rails
    • django
    • angular
    • reactjs
  • Операционные системы
    • android
    • ios
    • windows
    • macos
    • ubuntu
    • linux
    • unix
  • Базы данных
    • mysql
    • sql-server
    • database
    • postgresql
    • mongodb
    • oracle
    • sqlite
  • Программы
    • google-chrome
    • firefox
    • internet-explorer
    • apache
    • nginx
    • excel
  • Репозитории
    • git
    • svn
    • github
  • Askdev.ru
    • French
  • over.wiki
2
ответов

27

Разница между Haskell и Idris: отражение среды выполнения / Compiletime в юниверсах типов

dependent-type haskell idris type-level-computation
6
ответов

39

Зависимые типы: как зависимые пары типа аналог непересекающемся множестве?

agda curry-howard dependent-type haskell idris
2
ответов

143

Различия между Агда и Идрис

agda idris type-theory
© AskDev.ru — спроси разработчика, Licensed under over.wiki with attribution.