トップ
新規
単語検索
ヘルプ
OCamlとは(draft)
をテンプレートにして作成
開始行:
*OCamlとは [#j5c9ee05]
OCaml (オキャムル/オーキャムル) は、フランスのINRIAで開発...
*高信頼性 [#w20a5f11]
**強い静的型付け [#fe2a944e]
強い静的型付けにより、データの取り違え等に起因するバグを...
**自動的なメモリ管理 (ガーベージコレクション) [#h6a73d5a]
メモリ管理は自動的に行われるため、メモリの確保・解放に関...
*高い開発効率 [#y36644ff]
**代数的データ型とパターンマッチング [#bed5cd11]
ユーザ定義型には、代数的データ型という形式を用います。C言...
**多相型 [#g5e5c5a0]
多相型は Java 1.5 や C#のジェネリクス、C++言語のテンプレ...
**型推論 [#iae0ea2f]
ここで説明しているすべての機能について、型推論という機能...
**関数指向 [#p7f82ec4]
定義済みの関数やλ式(匿名関数)といった最も単純な手続き抽象...
*先進的な言語機能 [#dc70a5e3]
**多相バリアント [#o7c41c80]
多相バリアントは OCamlでしか実装されていない(たぶんうそ、...
**強力なモジュール機能 (ファンクターなど) [#qe5f2b1e]
抽象データ型というスタイルのソフトウェア構成法を強力に支...
**オブジェクト指向 [#q030ce5e]
オブジェクト指向も利用できます。型推論とオブジェクト指向...
終了行:
*OCamlとは [#j5c9ee05]
OCaml (オキャムル/オーキャムル) は、フランスのINRIAで開発...
*高信頼性 [#w20a5f11]
**強い静的型付け [#fe2a944e]
強い静的型付けにより、データの取り違え等に起因するバグを...
**自動的なメモリ管理 (ガーベージコレクション) [#h6a73d5a]
メモリ管理は自動的に行われるため、メモリの確保・解放に関...
*高い開発効率 [#y36644ff]
**代数的データ型とパターンマッチング [#bed5cd11]
ユーザ定義型には、代数的データ型という形式を用います。C言...
**多相型 [#g5e5c5a0]
多相型は Java 1.5 や C#のジェネリクス、C++言語のテンプレ...
**型推論 [#iae0ea2f]
ここで説明しているすべての機能について、型推論という機能...
**関数指向 [#p7f82ec4]
定義済みの関数やλ式(匿名関数)といった最も単純な手続き抽象...
*先進的な言語機能 [#dc70a5e3]
**多相バリアント [#o7c41c80]
多相バリアントは OCamlでしか実装されていない(たぶんうそ、...
**強力なモジュール機能 (ファンクターなど) [#qe5f2b1e]
抽象データ型というスタイルのソフトウェア構成法を強力に支...
**オブジェクト指向 [#q030ce5e]
オブジェクト指向も利用できます。型推論とオブジェクト指向...
ページ名: