Зависимые Типы

2021

• Development Вышла новая версия 0.4.0 языка программирования Idris 2 (15 комментариев)
• Development с++ и зависимые типы (26 комментариев)
• Development Вышел новый релиз Idris 2 версии 0.3.0 (19 комментариев)

2020

• Development Idris 2 почти готов для интерпрайза (1 комментарий)
• Development В Идрис 2 завезли Жабаскрипт кодогенератор (31 комментарий)
• Development Вышел Idris 2 версия 0.2.0 (13 комментариев)
• Talks Idris 2 теперь стал self-hosted (5 комментариев)

2019

• Development Пруфы и Петросянство (31 комментарий)
• Development Стали доступны исходные коды Idris 2 (31 комментарий)

2018

• Development Вычисления на этапе компиляции, DSL и C++20 (39 комментариев)

2017

• Development Польза зависимых типов (22 комментария)
• Talks Idris 1.0 (2 комментария)

2015

• Development Практическая польза зависимых типов (77 комментариев)
• Talks Зависть (24 комментария)

2014

• Development верификация алгоритма (18 комментариев)

2013

• Development Зависимые типы и мутабельность (35 комментариев)
• Development Формальная верификация (13 комментариев)

2012

• Development где можно применить на практике всю мощь dependent types? (43 комментария)

2009

• Development [Топосы][Зависимые типы] Конференция по теории категорий (4 комментария)

2019

• Coq 8.9 (51 комментарий)

2016

• Вышла Agda 2.5.1 (21 комментарий)

2014

• Вышла Agda 2.4.0 (84 комментария)