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