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