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