練習問題 11.2 ファンクターをつくる MakeAbstractSet の機能を拡張して、下に示すシグネチャ SET の各関数をコメントに従って定義しなさい。また、整数の集合モジュールをファンクター適用によって生成して […]
シグネチャ
練習問題 11.1 ファンクターに与える引数のシグネチャを指定する
練習問題 11.1 ファンクタの引数にシグネチャを与える 下の のように、MakeSet に与える引数のシグネチャを OrderedType として明示的に指定した場合、このモジュール IntSet’ は、I […]
練習問題 9.4 シグネチャの実用性
練習問題 9.4 シグネチャの実用性 次の抽象データ型を表す、ふたつのシグネチャをもつモジュールは、どちらもあまり実用上意味がありません。なぜでしょうか?(ヒント:empty や add のない TABLE モジュールを […]
練習問題 9.3 キュー構造のモジュールを定義する
練習問題 9.3 モジュールとシグネチャを使ったキューリスト 以下は、書き換え可能データを使わないキューのシグネチャです。add などは要素を追加した新しいキューを返すようになっています。 このシグネチャを持つモジュール […]
練習問題 9.2 シグネチャを使う
練習問題 9.2 二分探索木を使ったテーブル 二分探索木を使ったテーブルを、シグネチャとして TABLE2 を与えたモジュールとして実装しなさい。そして、各関数が機能していることを確かめなさい。 解答 実行例 解答中、シ […]