System Class METHOD
メソッドmethodは、ジェネリック関数の振る舞いの 基本的なモジュール単位を表すオブジェクトです。
メソッドは、 メソッドのふるまいを実装したコード、 そのメソッドが適用可能かどうかを指定する特定パラメーターの列、 そしてメソッド間を区別するための method-combinationの機能で使用される 修飾子の列を含みます。 各メソッドのそれぞれの要求パラメーターは、 関連付けられた特定パラメーターを持っており、 そのメソッドは引数が自身の特定パラメーターを 満たすときのみ実行されます。
method-combinationの機能は実行されたときに メソッドの選択を制御することができ、 その返却値はジェネリック関数によって返却されます。 オブジェクトシステムは標準のmethod-combinationの型を提供しており、 またmethod-combinationの新しい型を定義する機能も提供しています。