2005-10-07から1日間の記事一覧

型検査

関数を作る際、引数名に型検査を行うためのコード片を埋め込む。 それを適切に変換して評価する関数をaspectとして織り込む。 評価の結果が真ならば型検査に通ったとみなす。 という機構を考えた。コードは後で書く。