Haskell

Haskell

Haskell е усъвършенстван чисто функционален език за програмиране.
Haskell е усъвършенстван чисто функционален език за програмиране.Продукт с отворен код на повече от двадесет години авангардни изследвания, той позволява бързо развитие на здрав, сбит и коректен софтуер.Със силна подкрепа за интеграция с други езици, вградена паралелност и паралелизъм, отстраняване на грешки, профили и богати библиотеки.

WebSite:

Характеристика

Категории

Алтернативи на Haskell за всички платформи с всякакъв лиценз

Ada

Ada

Ada 2012 е следващото поколение на най-важния световен език за програмиране за безопасен, сигурен и надежден софтуер.
Raku

Raku

Раку (известен преди като Perl 6) е член на семейството на програмните езици на Perl.
Avian

Avian

Avian е лека виртуална машина и библиотека от клас, създадена да осигури полезен подмножество от функции на Java, подходящи за изграждане на самостоятелни приложения.
Factor

Factor

Езикът за програмиране Factor съчетава мощни езикови функции с пълнофункционална библиотека.
X10 (programming language)

X10 (programming language)

Езиковият език за програмиране X10 е организиран около четири основни принципа на асинхронност, локалност, атомност и ред, които са разработени на сигурен за типа, базиран на клас ...
Jabaco

Jabaco

Jabaco е прост език за програмиране със синтаксис като Visual Basic.Jabaco ви позволява да създавате мощен софтуер за всички поддържани от Java операционни системи.,
Wyvern

Wyvern

Wyvern е нов език за програмиране, предназначен да помогне на разработчиците да бъдат високо продуктивни при писане на приложения с висока увереност.
Quorum

Quorum

Език за програмиране на кворум.- Първият в света ориентиран към доказателства програмен език.
Objective-J

Objective-J

Objective-J е език за програмиране, разработен като част от ...
RhoMobile

RhoMobile

Използвайте уеб уменията си, за да напишете NATIVE приложения веднъж и да изградите за ВСИЧКИ смартфони с Rhodes, първата рамка на приложението за смартфони в индустрията
OCaml

OCaml

OCaml е индустриален език за програмиране на сила, поддържащ функционални, императивни и обектно-ориентирани стилове.
Nim (programming language)

Nim (programming language)

Nim е статично типизиран императивен език за програмиране, който се опитва да даде на програмиста максимална сила без компромиси с ефективността на изпълнение.
Guile

Guile

Вездесъщият интелигентен език за разширения на GNU, внедряване на програмния език на схемата.
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET (mottidotnet) е усъвършенстван език за програмиране с визуални и програмни функции. Надеждният Motti.NET е доказан като много стабилен
V (programming language)

V (programming language)

V е статично типизиран компилиран език за програмиране, предназначен за изграждане на поддържан софтуер.Подобно е на Go и също е повлияно от Oberon, Rust, Swift.