ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию […]
Вики
Статически типизированные языки программирования
Вики
ПоследовательностьL
Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций. Язык был создан в Техасском
Вики
Параллельный Haskell
Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма. Основные концепции включают примитивный тип MVar и
Вики
СПАРК (язык программирования)
SPARK (язык программирования) Определение и история SPARK SPARK — это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО.
Вики
Carbon (язык программирования)
Carbon (язык программирования) Обзор Carbon Carbon — экспериментальный язык программирования, созданный для взаимодействия с C++. Проект открыт и запущен в
Вики
Чистый скрипт
Чистый скрипт Обзор PureScript PureScript — строго типизированный функциональный язык, компилируемый в JavaScript, C++11, Erlang, Go. Используется для веб- и
Вики
Elm (язык программирования)
Elm (язык программирования) Обзор Elm Elm — это специализированный язык для создания графических интерфейсов на основе веб-браузера. Язык функциональный, ориентирован
Вики
Язык программирования
Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом. Система Agda была разработана
Вики
Надежда (язык программирования)
Hope (язык программирования) История и особенности Hope Hope — функциональный язык программирования, созданный в 1970-х в Эдинбургском университете. Появился раньше
Вики
Rust (язык программирования)
Rust (язык программирования) Rust — язык программирования с акцентом на безопасность, производительность и параллелизм. Rust использует статическую диспетчеризацию для определения
Вики
Котлин (язык программирования)
Kotlin (язык программирования) Kotlin — язык программирования, разработанный JetBrains. Он сочетает в себе элементы объектно-ориентированного и функционального программирования. Kotlin поддерживает
Вики
D (язык программирования)
D (язык программирования) D — мультипарадигмальный язык программирования с открытым исходным кодом. Язык был создан в 1999 году и разработан
Вики
Си Шарп (язык программирования)
C Sharp (язык программирования) C# — объектно-ориентированный язык программирования, разработанный Microsoft. C# имеет сходство с Java и C++, обеспечивая изоляцию
Вики
Ада (язык программирования)
Ada (язык программирования) Ada — язык программирования, разработанный в 1970-х годах для создания надежных и переносимых программ. Язык основан на
Вики
TypeScript
Машинописный текст TypeScript — язык программирования, разработанный Microsoft для создания динамических языков. TypeScript основан на ECMAScript 3 и поддерживает статическую
Вики
Го (язык программирования)
Go (язык программирования) Go — язык программирования с открытым исходным кодом, разработанный Google. Он сочетает в себе простоту и надежность,
Вики
Swift (язык программирования)
Swift (язык программирования) Swift — современный язык программирования, разработанный Apple. Он сочетает в себе элементы C, C++, Objective-C и других