練習問題 11.4 組を引数にとるファンクター

練習問題 11.4 (NaiveSig が与えられていない生の)BadPair が、ファンクター MakeTest に渡せないことを確かめなさい。 問題文の環境を以下のように想定する BadPair を以下のように定義す […]

練習問題 11.2 ファンクターの各関数を作る

練習問題 11.2 ファンクターをつくる MakeAbstractSet の機能を拡張して、下に示すシグネチャ SET の各関数をコメントに従って定義しなさい。また、整数の集合モジュールをファンクター適用によって生成して […]