Языки программирования по шаблону

Вики

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

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

Вики

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

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

Вики

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

Elixir (язык программирования) Обзор Elixir Elixir — функциональный, параллельный язык программирования, работающий на виртуальной машине BEAM.  Основан на Erlang, поддерживает

Вики

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

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

Вики

Хаскелл

Хаскелл Haskell — функциональный язык программирования с акцентом на выразительность и чистоту.  Разработан в 1990 году, изначально для реализации системы

Вики

Пролог

Пролог Prolog — язык логического программирования, разработанный в 1970-х годах.  Он основан на логике предикатов и имеет декларативный синтаксис.  Prolog

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