ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS – это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию […]
Вики
Языки системного программирования
Вики
Красный (язык программирования)
Красный (язык программирования) Обзор языка программирования Red Red был разработан для преодоления ограничений Rebol и представлен в 2011 году. Он
Вики
ParaSail (язык программирования)
ParaSail (язык программирования) Обзор языка ParaSail ParaSail – это объектно-ориентированный язык параллельного программирования. Язык использует модель программирования без указателей и
Вики
Хьюм (язык программирования)
Hume (язык программирования) Обзор языка программирования Hume Hume – это функциональный язык программирования, разработанный в Шотландии с 2000 года. Название
Вики
СПАРК (язык программирования)
SPARK (язык программирования) Определение и история SPARK SPARK – это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО.
Вики
Эдинбургский ИМП
Эдинбургский ЧЕРТЕНОК История и особенности Edinburgh IMP Edinburgh IMP – язык программирования, разработанный в 1960-х годах в Эдинбургском университете. Является
Вики
Зиг (язык программирования)
Zig (язык программирования) Обзор языка программирования Zig Zig – это новый язык программирования, разработанный для создания быстрых и безопасных программ.
Вики
Проблемно-ориентированный язык исполнительных систем
Проблемно-ориентированный язык для исполнительных систем История и применение ESPOL ESPOL – это язык программирования, который является надмножеством ALGOL 60. ESPOL
Вики
Форт (язык программирования)
Forth (язык программирования) Основы Forth Forth – это язык программирования, который был разработан в 1970-х годах и широко используется в
Вики
Язык системного программирования
Язык системного программирования Определение и особенности системных языков программирования Системные языки программирования предназначены для разработки системного ПО, требующего специфических подходов.
Вики
Rust (язык программирования)
Rust (язык программирования) Rust – язык программирования с акцентом на безопасность, производительность и параллелизм. Rust использует статическую диспетчеризацию для определения
Вики
D (язык программирования)
D (язык программирования) D – мультипарадигмальный язык программирования с открытым исходным кодом. Язык был создан в 1999 году и разработан
Вики
Ада (язык программирования)
Ada (язык программирования) Ada – язык программирования, разработанный в 1970-х годах для создания надежных и переносимых программ. Язык основан на