OCaml

ˌoʊˈkæməl オーキャメル

1. OCaml（オーキャメル）は、MLファミリーに属する汎用プログラミング言語。

OCamlは、静的型付け、型推論、パターンマッチング、モジュールシステムなどの強力な機能を備えた関数型プログラミング言語です。効率的なコンパイラを持ち、システムプログラミングからWebアプリケーションまで幅広い分野で利用されています。オブジェクト指向プログラミングの機能もサポートしています。

I'm currently learning OCaml for a new project. (新しいプロジェクトのために現在OCamlを学んでいます。)

• I'm: I (私は) + am (～である、現在形) の短縮形です。
• currently: 現在、今のところ、という意味です。
• learning: 学んでいる、学習中である（現在進行形）という意味です。
• OCaml: プログラミング言語の名前です。
• for: ～のために、～の目的で、という意味です。
• a new project: 新しいプロジェクト、という意味です。

OCaml is known for its strong type system. (OCamlは強力な型システムで知られています。)

• OCaml: プログラミング言語の名前です。
• is known for: ～で知られている、～として有名である、という意味です。
• its: それの、OCamlの、という意味です。
• strong: 強力な、堅固な、という意味です。
• type system: 型システム、データ型を扱う体系、という意味です。

Compiling OCaml code is usually very fast. (OCamlコードのコンパイルは通常非常に速いです。)

• Compiling: コンパイルすること、プログラムを機械語に変換すること、という意味です。
• OCaml code: OCaml言語で書かれたコード、という意味です。
• is: ～である、～だ、という意味の動詞です。
• usually: 通常、たいてい、という意味です。
• very fast: 非常に速い、という意味です。

Many functional programming concepts originated or were popularized in languages like OCaml. (多くの関数型プログラミングの概念は、OCamlのような言語で生まれ、あるいは普及しました。)

• Many: 多くの、多数の、という意味です。
• functional programming concepts: 関数型プログラミングの概念、という意味です。
• originated: 由来した、始まった、という意味の動詞originateの過去形です。
• or: または、あるいは、という意味です。
• were popularized: 普及した、有名になった、という意味の受動態（be動詞 + 過去分詞）です。
• in languages like: ～のような言語で、という意味です。
• OCaml: プログラミング言語の名前です。

関連

• ML
• functional programming
• compiler
• type system
• Standard ML
• F#
• ReasonML