Строго типизированный функциональный язык программирования с зависимыми типами и синтаксисом Haskell. Интересен тем, что типы помогают генерировать дальнейший код для описания содержимого функции.
Книги:
- Little Typer
Видео:
Строго типизированный функциональный язык программирования с зависимыми типами и синтаксисом Haskell. Интересен тем, что типы помогают генерировать дальнейший код для описания содержимого функции.
Книги:
Видео: