diff options
Diffstat (limited to 'content/digarden/pages/20210423140631-idris.org')
| -rw-r--r-- | content/digarden/pages/20210423140631-idris.org | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/content/digarden/pages/20210423140631-idris.org b/content/digarden/pages/20210423140631-idris.org deleted file mode 100644 index 46c5017..0000000 --- a/content/digarden/pages/20210423140631-idris.org +++ /dev/null @@ -1,16 +0,0 @@ -:PROPERTIES: -:ID: 2f0a8624-cbf4-4b9a-a8dc-5ed64c8edc69 -:END: -#+title: Idris -Строго типизированный функциональный язык программирования с зависимыми типами и -синтаксисом [[id:7f86ced4-b418-4cd4-a14e-d7e4f1f343de][Haskell]]. Интересен тем, что типы помогают генерировать дальнейший -код для описания содержимого функции. - -Книги: -- Little Typer - -Видео: -- https://youtube.com/watch?v=VxINoKFm-S4 -- [[https://youtube.com/watch?v=DRq2NgeFcO0][Brady - Idris 2 - Type-driven Development of Idris]] -- [[https://youtube.com/watch?v=QoglUkN8d08][Лекции по Idris от Брагилевского в ВШЭ]] - |