OCaml

OCaml

OCamlは、機能的、命令的、オブジェクト指向のスタイルをサポートする産業用強度プログラミング言語です。
OCamlは、機能的、命令的、オブジェクト指向のスタイルをサポートする産業用強度プログラミング言語です。

ウェブサイト:

特徴

カテゴリー

WebのOCamlの代替

F*

F*

F *は、プログラムの検証を目的としたMLに似た関数型プログラミング言語です。F *は、機能の正確さのプロパティなど、プログラムの正確な仕様を表現できます。F *で書かれたプログラムは、実行のためにOCamlまたはF＃に変換できます。
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET（mottidotnet）は、視覚およびプログラミング機能を備えた高度なプログラミング言語です。信頼性の高いMotti.NETは、非常に安定していることが証明されています。