| Line | |
|---|
| 1 | :PROPERTIES:
|
|---|
| 2 | :ID: 2f0a8624-cbf4-4b9a-a8dc-5ed64c8edc69
|
|---|
| 3 | :END:
|
|---|
| 4 | #+title: Idris
|
|---|
| 5 | Строго типизированный функциональный язык программирования с зависимыми типами и
|
|---|
| 6 | синтаксисом [[id:7f86ced4-b418-4cd4-a14e-d7e4f1f343de][Haskell]]. Интересен тем, что типы помогают генерировать дальнейший
|
|---|
| 7 | код для описания содержимого функции.
|
|---|
| 8 |
|
|---|
| 9 | Книги:
|
|---|
| 10 | - Little Typer
|
|---|
| 11 |
|
|---|
| 12 | Видео:
|
|---|
| 13 | - https://youtube.com/watch?v=VxINoKFm-S4
|
|---|
| 14 | - [[https://youtube.com/watch?v=DRq2NgeFcO0][Brady - Idris 2 - Type-driven Development of Idris]]
|
|---|
| 15 | - [[https://youtube.com/watch?v=QoglUkN8d08][Лекции по Idris от Брагилевского в ВШЭ]]
|
|---|
| 16 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
