LINUX.ORG.RU
Регистрация
-
Вход
Имя:
Пароль:
Новости
Галерея
Статьи
Форум
Трекер
Поиск
Зависимые Типы
13
0
Всего сообщений: 22
См. также:
agda
,
coq
,
idris
,
функциональное программирование
Синонимы:
dependent types
Форум
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 комментария)
Добавить новость