練習問題 11.4 (NaiveSig が与えられていない生の)BadPair が、ファンクター MakeTest に渡せないことを確かめなさい。 問題文の環境を以下のように想定する BadPair を以下のように定義す […]
ファンクター
練習問題 11.2 ファンクターの各関数を作る
練習問題 11.2 ファンクターをつくる MakeAbstractSet の機能を拡張して、下に示すシグネチャ SET の各関数をコメントに従って定義しなさい。また、整数の集合モジュールをファンクター適用によって生成して […]
練習問題 11.1 ファンクターに与える引数のシグネチャを指定する
練習問題 11.1 ファンクタの引数にシグネチャを与える 下の のように、MakeSet に与える引数のシグネチャを OrderedType として明示的に指定した場合、このモジュール IntSet’ は、I […]