
3
OCaml е индустриален език за програмиране на сила, поддържащ функционални, императивни и обектно-ориентирани стилове.
WebSite:
http://www.ocaml.orgХарактеристика
Категории
Алтернативи на OCaml за Web

3
F*
F * е ML-подобен функционален език за програмиране, насочен към проверка на програмата.F * може да изрази точни спецификации за програми, включително свойства за функционална коректност.Програмите, написани на F *, могат да бъдат преведени в OCaml или F # за изпълнение.

1
Motti.NET (Programming Language)
Motti.NET (mottidotnet) е усъвършенстван език за програмиране с визуални и програмни функции. Надеждният Motti.NET е доказан като много стабилен
- Безплатна лична
- Windows
- Web
- Motti.NET (Programming Language)