オブジェクト指向の用語定義

用語定義から入るのは堅苦しいのですが オブジェクト指向に関する用語は言語によってまちまちなので F#でのオブジェクト指向に関する用語の定義をまず引用してみます。 とりあえず飛ばしてしまって、 気になった語だけリファレンス的に見るのも良いと思います。 以下、F# 2.0 Language Specification April 2010(candidate)にあればそこから、 無ければMSDNから引用しています。
クラス(class)
クラスは、プロパティ、メソッド、およびイベントを持つことができるオブジェクトを表す型です
MSDNのclass(日本語) MSDNのclass
プロパティ(property)
プロパティは、オブジェクト指向プログラミングにおける "has a" 関係を表し、 オブジェクト インスタンスまたは型 (静的プロパティの場合) に 関連付けられるデータを表します。
MSDNのプロパティ(日本語) MSDNのプロパティ
イベント(events)
イベントはCLIの概念でlistening pointのことです。 つまり、しばしばマウスクリックやタイマーなどの外部のアクションによって 起動される、コールバックの集合を保持した設定可能なオブジェクトのことです。 Events are the CLI notion of a ―listening point,. that is, a configurable object holding a set of callbacks, which can be triggered, often by some external action such as a mouse click or timer tick. F# 2.0 Language Specification April 2010(candidate) 8.18.9
メソッド(method)の定義についてはどちらからも見つけられませんでしたが おそらくこれはメソッドメンバ(method member)を指している語だと思われます。
メンバ(member)
型定義とセットになった関数か、特定の型のこと メンバ定義は型定義の中で使うことが可能 F#はプロパティメンバとメソッドメンバをサポートする A function that is associated with a type definition or with a value of a particular type. Member definitions can be used in type definitions. F# supports property members and method members. F#2.0 specification candidate Glossary
プロパティメンバ(property member)
その型の値を取得または設定する関数のこと A function in a type that gets or sets data about the type. F#2.0 specification candidate Glossary
メソッドメンバ(method member)
型、またはオブジェクトに関連づけられた操作のこと An operation that is associated with a type or an object. F#2.0 specification candidate Glossary
プロパティはデータも含むものを表し、 プロパティメンバはいわゆるsetter/getter関数のことのようです。 メソッドメンバに対しては関数という用語は使われておらず 評価方法が関数(spec 6.9.5)とメソッド(spec 6.9.6)で違うため おそらくメソッド(method)とはメソッドメンバ(method member)のことだと思われます。 また、フィールド(field)という用語もでてきます。 これもどちらにも定義が見つけられませんでしたが 少なくともクラス/構造体に使われる際に valキーワードで宣言したデータのことはフィールドと呼ぶようです。 ややこしいのですが 仕様書ではレコードのデータのこともフィールドと呼んでいます。
コアーション(coercion)
データの型を、ある型から別の型へ変換すること The changing of data from one type to another. F#2.0 specification candidate Glossary
いわゆるキャストのことです。 キャストという単語も仕様書には出てきます。  static coercion expression(6.7.2)の節でupcast  dynamic coercion expression(6.7.4)の節でdowncast 以下、本サイトで使っているが、定義が見つからない用語。 記載がある箇所がわかれば、アップデートします。 現時点では、大体次のような意味で使うことにします。 オブジェクト(object)  newなどの構文で生成したもの  Object Expressionで生成したもの 子クラス(subclass)  Aの子クラスとは、Aを継承したクラスのこと。  たまに、孫クラス的なものも指して使うかもしれません  再帰的に定義すれば  Aの子クラスとは、Aを継承したクラスか、Aの子クラスを継承したクラスのこと 親クラス  子クラスとは逆の関係