Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
Вики
Discontinued programming languages
Вики
Fortress (язык программирования)
Fortress (язык программирования) История и особенности Fortress Fortress — экспериментальный язык программирования, созданный Sun Microsystems и финансируемый DARPA. Разработан Гаем
Вики
Эпиграмма (язык программирования)
Эпиграмма (язык программирования) Обзор Epigram Epigram — функциональный язык программирования с зависимыми типами и интегрированной средой разработки. Система типов Epigram