123
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

Kategoriler

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.