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

Книги:

Видео:

w96k Ⓐ 2019-2022

2022-10-16 Sun 19:30