OCaml

OCaml

OCaml, işlevsel, zorunlu ve nesneye yönelik stilleri destekleyen bir endüstriyel güç programlama dilidir.
OCaml, fonksiyonel, zorunluluk ve nesne yönelimli stilleri destekleyen bir endüstriyel güç programlama dilidir.

İnternet sitesi:

Özellikleri

Web için OCaml'a alternatifler

F*

F*

F *, program doğrulamayı amaçlayan ML benzeri bir işlevsel programlama dilidir.F *, fonksiyonel doğruluk özellikleri dahil olmak üzere programlar için kesin özellikleri ifade edebilir.F * ile yazılmış programlar yürütme için OCaml veya F # diline çevrilebilir.
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET (mottidotnet), görsel ve programlama özelliklerine sahip gelişmiş bir programlama dilidir.Güvenilir Motti.NET'in çok kararlı olduğu kanıtlanmıştır.