OCaml

OCaml

OCaml je průmyslový programovací jazyk podporující funkční, imperativní a objektově orientované styly.
OCaml je průmyslový programovací jazyk podporující funkční, imperativní a objektově orientované styly.
ocaml

Webová stránka:

Alternativy OCaml pro Web

F*

F*

F * je funkční programovací jazyk typu ML zaměřený na ověření programu.F * může vyjadřovat přesné specifikace programů, včetně funkčních vlastností správnosti.Programy napsané v F * mohou být přeloženy do OCaml nebo F # pro provedení.
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET (mottidotnet) je pokročilý programovací jazyk s vizuálními a programovacími funkcemi. Spolehlivý Motti.NET se ukázal jako velmi stabilní