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

Книги:

Видео:

w96k Ⓐ 2019-2022

2022-11-27 Sun 23:34