OCaml

OCaml

OCaml jest językiem programowania siły przemysłowej, obsługującym style funkcjonalne, imperatywne i obiektowe.
OCaml jest językiem programowania siły przemysłowej, obsługującym style funkcjonalne, imperatywne i obiektowe.
ocaml

Stronie internetowej:

Alternatywy dla OCaml dla Web

F*

F*

F * to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu.F * może wyrażać precyzyjne specyfikacje programów, w tym właściwości poprawności funkcjonalnej.Programy napisane w języku F * mogą zostać przetłumaczone na OCaml lub F # w celu wykonania.
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET (mottidotnet) to zaawansowany język programowania z funkcjami wizualnymi i programistycznymi. Niezawodny Motti.NET jest bardzo stabilny