[B! ocaml][FP] u_1rohのブックマーク

u_1roh id:u_1roh

ocamlとFPに関するu_1rohのブックマーク (3)

OCaml プログラミング入門
OCaml のすすめ OCaml とはフランスの情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、データ構造のパターンマッチング等、プログラミング言語理論の研究の成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれています。これらの目的・効用は、コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど全てにおいて日常的に使っているのですが、とにかく開発効率が良いです。コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じるかもしれま
u_1roh 2007/10/02
programming

FP

ocaml
リンク
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
筆者住井英二郎「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。ただ，そのような言語は「難しい」「役に立たない」などと思われがちだ。この連載では，こうしたプログラミング言語やソフトウエア科学の様々な研究を，できるだけ普通のプログラマやエンジニアにもわかりやすく（どちらかといえば理論よりも実用に重点をおいて）紹介していく。更新は毎月第2水曜日（1月のみ第3水曜日）
u_1roh 2007/10/02
programming

FP

ocaml
リンク
OCaml.jp
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 OCaml（オキャムル／オーキャムル）は、INRIA（フランス国立情報学自動制御研究所）で開発されている関数型言語の一種で、最新の言語理論の成果が取り入れられたプログラミング言語です。型安全な静的型システムを基盤に、バグの少ない高信頼なプログラムが開発できます。オブジェクト、型推論、代数的データ型、モジュールシステム、多相バリアント、第一級モジュール、GADTといった様々な機能を利用して、より簡潔で整理されたコードが記述できます。 x86, x86-64, ARM, PowerPCなど多数のアーキテクチャのネイティブコードを出力できるコンパイラを持っています。Android や iOS 向けのクロスコンパイルも可能です（Linux 上でのクロスコンパイルは opam-cross-a
u_1roh 2007/10/02
programming

FP

ocaml
リンク
1