diff options
Diffstat (limited to 'content/digarden/pages/20210423140631-idris.org')
| -rw-r--r-- | content/digarden/pages/20210423140631-idris.org | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/content/digarden/pages/20210423140631-idris.org b/content/digarden/pages/20210423140631-idris.org new file mode 100644 index 0000000..46c5017 --- /dev/null +++ b/content/digarden/pages/20210423140631-idris.org @@ -0,0 +1,16 @@ +: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 от Брагилевского в ВШЭ]] + |