blob: 46c5017db40f7a1ab2ba504a76552f56ae514465 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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 от Брагилевского в ВШЭ]]
|
