OCamlMakefile と組み合わせて GNU make を使う OCamlMakefile は、 複雑なOCamlプロジェクトのコンパイル作業をとても楽にする生成的な Makefile だ。 標準のライブラリのみを使う基本的なOCamlプログラムやライブラリについては、 単にカレントディレクトリにOCamlMakefileをコピーし、 以下の Makefile を作成する： RESULT = myprogram SOURCES = \ mymodule1.mli mymodule1.ml \ myparser.mli myparser.mly mylexer.mll mymodule2.ml \ mymainprogram.ml OCAMLMAKEFILE = OCamlMakefile include $(OCAMLMAKEFILE) これは5つのコンパイル対象がある上に ocam
Author Volker Grabsch Proofreading Frank Prößdorf Additional information for Mac OSX anonymous contributor Contents Introduction Installation testsdl_1 – Hello, World! testsdl_2 – Pictures, text and music testsdl_3 – Event handling testsdl_4 – Advanced event handling Introduction If you want to create your own game with 2D graphics and sound, the SDL library is your friend. SDL is available for ma
2003.04.29新規作成。2003.11.15加筆。 Objective Caml (OCaml) は関数型 (プログラミング) 言語のひとつ。関数型言語は, Java、Rubyなどのような手続き型言語と対比される。通常、手続き型言語やオブジェクト指向言語では、変数やオブジェクトの状態を更新していくことで目的の機能を実現する。関数型言語では、各関数は、関数に与える引数のみによって振る舞いが変わる（参照透明性）ように記述する。 Note. 関数型プログラミング言語としては、ほかに Haskell やClean が有力。これらの言語は遅延評価 lazy evaluation をサポートしており、いっそう強力。 Haskellで遊ぶ 参照透明性が確保されていれば、テストを行いやすく、信頼性の高いプログラムを書きやすい。 O'Camlは関数型言語でありながらオブジェクト指向機能を導入している。
OCaml のすすめ OCaml とはフランスの 情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、 データ構造のパターンマッチング等、プログラミング言語理論の研究の 成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれ ています。これらの目的・効用は、 コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く