Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
Вики
Языки программирования высокого уровня
Вики
Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вики
F* (язык программирования)
F* (язык программирования) Обзор языка программирования F* F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями. Основан на
Вики
ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Вики
ПоследовательностьL
Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций. Язык был создан в Техасском
Вики
Красный (язык программирования)
Красный (язык программирования) Обзор языка программирования Red Red был разработан для преодоления ограничений Rebol и представлен в 2011 году. Он
Вики
Карри (язык программирования)
Curry (язык программирования) Основы функционального логического программирования Функциональные программы состоят из уравнений или правил для определения значений. Вычисления заменяют подвыражения
Вики
Параллельное машинное обучение
Одновременный ML Основы Concurrent ML Concurrent ML — это функциональный язык программирования, который расширяет стандартный ML для поддержки параллелизма. Он
Вики
Алиса (язык программирования)
Alice (язык программирования) Обзор Alice ML Alice ML — это функциональный язык программирования с поддержкой параллелизма, отложенного вычисления и программирования
Вики
E (язык программирования)
E (язык программирования) Обзор языка программирования E E — это объектно-ориентированный язык для безопасных распределенных вычислений. Создан в 1997 году
Вики
ПьюрБейсик
Чисто базовый Обзор PureBasic PureBasic — это кроссплатформенный язык программирования, разработанный Фредом Бейкером. Он поддерживает множество платформ, включая Windows, Linux
Вики
ActionScript
ActionScript (сценарий действий) Основы ActionScript ActionScript — язык программирования, используемый для создания интерактивных элементов в Flash. Разработан Adobe, используется в
Вики
Балерина (язык программирования)
Балерина (язык программирования) Обзор Ballerina Ballerina — это универсальный язык программирования с открытым исходным кодом, разработанный WSO2. Он был запущен
Вики
Кольцо (язык программирования)
Ring (язык программирования) Обзор языка программирования Ring Ring — это динамически типизированный язык общего назначения, который может быть встроен в
Вики
Зиг (язык программирования)
Zig (язык программирования) Обзор языка программирования Zig Zig — это новый язык программирования, разработанный для создания быстрых и безопасных программ.
Вики
Ассамблея высокого уровня
Сборка на высоком уровне Обзор языка ассемблера высокого уровня (HLA) HLA — это язык программирования высокого уровня, разработанный для ассемблеров
Вики
Сильный разговор
Сильная речь Основы Strongtalk Strongtalk — это среда Smalltalk с поддержкой статической типизации. Она обеспечивает более строгие гарантии безопасности типов