OCaml

OCaml

(整数を運ぶ葉*バイナリツリー*。)タイプのツリー= int型のリーフ|ツリーのノード*ツリーがでREC exists_leafテストツリー=マッチツリーを聞かせて|リーフV - >テストV |ノード(右、左) - > exists_leafテストは左||ツリー - exists_leafテスト右has_even_leafツリー= exists_leaf(> N MOD 2 = 0の楽しみn)をしましょう。 OCamlではこのSiteAboutこのサイトについて...多くの、より強力なこの単純なよりです。目指しています。 OCaml.orgは、コミュニティ主導のウェブサイト... OPAMのOPAMTheホームページ、ocaml.org»からOCaml.More結果のパッケージマネージャであります

ダウンロード OCaml
OCaml ビデオ

代替へ OCaml

Haskell

自由な
Haskellはシームレスかつ合理的にタスクの広い範囲を達成することができ、純粋関数型プログラミング言語です。
詳細を表示

Scala

自由な
Scalaは、機能と命令型プログラミングとの間のギャップを埋めるコーディング言語です。
詳細を表示

Rust

自由な
信頼性の高い効率的なソフトウェアを構築するためにすべての人をエンパワーメント。
詳細を表示

Nim (programming language)

自由な
ニムは、システムやアプリケーションのプログラミングで  言語。静的に型付けとコンパイルされ、それは、エレガントなパッケージで比類のないパフォーマンスを提供します。
詳細を表示

Erlang

自由な
Erlangのは、高可用性の要件を持つ大規模な拡張性の高いソフトリアルタイムシステムを構築するために使用されるプログラミング言語です。その用途の一部は、電気通信、バンキング、電子商取引、コンピュータテレフォニーおよびインスタントメッセージングです。アーランランタイムシステムが組み込まれている同時実行、配布およびフォールトトレランスをサポートしています。
詳細を表示

Clojure

自由な
Clojureのは、マルチスレッドプログラミングのための効率的かつ堅牢なインフラストラクチャとスクリプト言語の親しみやすさとインタラクティブな開発を組み合わせた、動的な、汎用プログラミング言語です。 Clojureのは、コンパイル言語で、まだ完全にダイナミックなまま - Clojureのでサポートされているすべての機能が実行時にサポートされています。
詳細を表示

Elixir

自由な
エリクサーやRubyを使用している企業のための専門的なコンサルティングと開発。プロジェクトインセプション、設計およびソフトウェア開発。
詳細を表示