OCaml

OCaml

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

ウェブサイト:

特徴

カテゴリー

LinuxのOCamlの代替

C (programming language)

C (programming language)

Cは汎用のコンピュータープログラミング言語です。Cは、これまでで最も広く使用されているプログラミング言語の1つです。
C++

C++

C ++は、静的に型付けされた、自由形式、マルチパラダイム、コンパイル済み、汎用、強力なプログラミング言語です。
Rust

Rust

非常に高速に動作し、ほとんどすべてのクラッシュを防ぎ、データの競合を排除するシステムプログラミング言語。。
Scala

Scala

Scalaは、Java Virtual Machine（JVM）に基づく最新のマルチパラダイムプログラミング言語です。簡潔でエレガントでタイプセーフな一般的なプログラミングパターンを表現するように設計されています。
Haskell

Haskell

Haskellは、高度に純粋に機能するプログラミング言語です。
D (Programming Language)

D (Programming Language)

Dは、Cのような構文と静的型付けを備えた言語です。効率、制御、モデリングのパワーを、安全性とプログラマの生産性と実用的に結合します。
Erlang

Erlang

Erlangは、高度な要件を備えた、非常にスケーラブルなソフトリアルタイムシステムを構築するために使用される、汎用の、ガベージコレクションされたプログラミング言語およびランタイムシステムです。...
Clojure

Clojure

Clojureは、Java仮想マシン（およびCLR）を対象とする動的プログラミング言語です。
F# (programming language)

F# (programming language)

F＃は、.NET向けの簡潔で表現力豊かで効率的な機能指向およびオブジェクト指向言語であり、複雑な問題を解決するための簡単なコードを作成するのに役立ちます。
Elm

Elm

Elmは、Web開発をより快適にすることを目指しています。Elmは、HTML、CSS、およびJavaScriptにコンパイルされる、タイプセーフで機能的なリアクティブ言語です。
F*

F*

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

ReasonML

ReasonMLはOCamlの新しい顔であり、BuckleScriptと組み合わせることで、Web開発を簡単で、堅牢で、タイプセーフにします。非常に優れたJavascript FFIストーリーを備えており、既存のプロジェクトにピースミールを簡単に採用できます。
Object Pascal

Object Pascal

Object Pascalは、マルチパラダイム、オブジェクト指向、コンポーネントベースの汎用プログラミング言語です。
Fortran

Fortran

Fortran（以前はFormula Translating Systemから派生したFORTRAN）は、特に数値計算に適した汎用の命令型プログラミング言語です...
libtheora

libtheora

libtheoraは、Xiph.Org Foundationによって開発されているTheoraビデオ圧縮形式のリファレンス実装です。