Statically typed programming languages

Вики

ATS (язык программирования)

/

ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си.  ATS объединяет формальную спецификацию […]

Вики

ПоследовательностьL

/

Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций.  Язык был создан в Техасском

Вики

Параллельный Haskell

/

Параллельный Haskell Основы Concurrent Haskell Concurrent Haskell расширяет Haskell 98 для поддержки параллелизма.  Основные концепции включают примитивный тип MVar и

Вики

Атеджи PX

/

Атеджи ПИКСЕЛЬ Обзор Ateji PX Ateji PX — расширение для Java, предназначенное для параллельных вычислений.  Интегрируется с Eclipse IDE, не

Вики

СПАРК (язык программирования)

/

SPARK (язык программирования) Определение и история SPARK SPARK — это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО. 

Вики

Хаксе

/

Хаксе Обзор Haxe Haxe — это язык программирования с открытым исходным кодом, который позволяет создавать кроссплатформенные приложения.  Он поддерживает объектно-ориентированное,

Вики

PascalABC.NET

/

PascalABC.NET Обзор PascalABC.NET PascalABC.NET — это язык программирования общего назначения с поддержкой множества парадигм.  Он основан на Delphi Object Pascal

Вики

Зиг (язык программирования)

/

Zig (язык программирования) Обзор языка программирования Zig Zig — это новый язык программирования, разработанный для создания быстрых и безопасных программ. 

Вики

АркТС

/

Ковчеги Обзор ArkTS ArkTS — это язык программирования, разработанный Huawei для операционной системы HarmonyOS.  Он заменил язык программирования eTS в

Вики

Carbon (язык программирования)

/

Carbon (язык программирования) Обзор Carbon Carbon — экспериментальный язык программирования, созданный для взаимодействия с C++.  Проект открыт и запущен в

Вики

Чистый скрипт

/

Чистый скрипт Обзор PureScript PureScript — строго типизированный функциональный язык, компилируемый в JavaScript, C++11, Erlang, Go.  Используется для веб- и

Вики

Elm (язык программирования)

/

Elm (язык программирования) Обзор Elm Elm — это специализированный язык для создания графических интерфейсов на основе веб-браузера.  Язык функциональный, ориентирован

Вики

Язык программирования

/

Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом.  Система Agda была разработана

Вики

Надежда (язык программирования)

/

Hope (язык программирования) История и особенности Hope Hope — функциональный язык программирования, созданный в 1970-х в Эдинбургском университете.  Появился раньше

Вики

OCaml

/

OCaml (ОКамл) Обзор OCaml OCaml — это функциональный язык программирования, разработанный в 1987 году.  Он имеет синтаксис, похожий на ML,

Вики

Фортран

/

Фортран История Фортрана Фортран был разработан в 1954 году для решения проблемы программирования на больших ЭВМ.  Фортран стал популярным языком

Вики

КОБОЛ

/

КОБОЛ COBOL — это скомпилированный англоязычный язык программирования, предназначенный для использования в бизнесе.  Это императивный, процедурный и, начиная с 2002

Вики

Rust (язык программирования)

/

Rust (язык программирования) Rust — язык программирования с акцентом на безопасность, производительность и параллелизм.  Rust использует статическую диспетчеризацию для определения

Вики

Котлин (язык программирования)

/

Kotlin (язык программирования) Kotlin — язык программирования, разработанный JetBrains.  Он сочетает в себе элементы объектно-ориентированного и функционального программирования.  Kotlin поддерживает

Прокрутить вверх