関数を作る際、引数名に型検査を行うためのコード片を埋め込む。 それを適切に変換して評価する関数をaspectとして織り込む。 評価の結果が真ならば型検査に通ったとみなす。 という機構を考えた。コードは後で書く。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。