Idris
Всего сообщений: 20
См. также:Форум
2021
- Development Вышла новая версия 0.4.0 языка программирования Idris 2 (15 комментариев)
- Development Зависимые типы, жидкие типы. Что лучше? (283 комментария)
- Development Вышел новый релиз Idris 2 версии 0.3.0 (19 комментариев)
2020
- Development Idris 2 почти готов для интерпрайза (1 комментарий)
- Talks Как вам борщ²? (63 комментария)
- Development В Идрис 2 завезли Жабаскрипт кодогенератор (31 комментарий)
- Development Вышел Idris 2 версия 0.2.0 (13 комментариев)
- Talks Idris 2 теперь стал self-hosted (5 комментариев)
2019
- Development Пруфы и Петросянство (31 комментарий)
- Development Стали доступны исходные коды Idris 2 (31 комментарий)
2018
- Talks Накидайте книжек по теории типов (33 комментария)
- Development Как вы дебажите код написанный на этих ваших чистых ФП языках? (30 комментариев)
2017
- Development Польза зависимых типов (22 комментария)
- Development Idris meets CL (11 комментариев)
- Development Есть ли для Haskell библиотека для представления монетарных величин (4 комментария)
- Development Idris & Unicode (11 комментариев)
- Development Idris & JVM (14 комментариев)
- Development Тупняк и Idris (3 комментария)
- Development Стоит ли изучать Idris (вместо Haskell)? (42 комментария)
- Talks Idris 1.0 (2 комментария)