Idris
Всего сообщений: 20
Development kookoo
15
Вышла новая версия 0.4.0 языка программирования Idris 2
t184256,
Development monk
283
Зависимые типы, жидкие типы. Что лучше?
monk,
Development kookoo
19
Вышел новый релиз Idris 2 версии 0.3.0
anonymous,
Development kookoo
1
Idris 2 почти готов для интерпрайза
AndreyKl,
Talks kookoo
63
Как вам борщ²?
yu-boot,
Development kookoo
31
В Идрис 2 завезли Жабаскрипт кодогенератор
dave,
Development kookoo
13
Вышел Idris 2 версия 0.2.0
anonymous,
Talks kookoo
5
Idris 2 теперь стал self-hosted
AndreyKl,
Development
BRATISLAVA
31
Пруфы и Петросянство
next_time,
Development kookoo
31
Стали доступны исходные коды Idris 2
kookoo,
Talks
Unununij
33
Накидайте книжек по теории типов
Begpoug,
Development mimimimi
30
Как вы дебажите код написанный на этих ваших чистых ФП языках?
AndreyKl,
Development mimimimi
22
Польза зависимых типов
Crocodoom,
Development mimimimi
11
Idris meets CL
Virtuos86,
Development mimimimi
4
Есть ли для Haskell библиотека для представления монетарных величин
anonymous,
Development mimimimi
11
Idris & Unicode
Unununij,
Development mimimimi
14
Idris & JVM
AndreyKl,
Development
Unununij
3
Тупняк и Idris
Unununij,
Development
Oxdeadbeef
42
Стоит ли изучать Idris (вместо Haskell)?
anonymous,
Talks e1nste1n
2
Idris 1.0
e1nste1n,