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

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

練習問題 9.4 シグネチャの実用性

練習問題 9.4 シグネチャの実用性 次の抽象データ型を表す、ふたつのシグネチャをもつモジュールは、どちらもあまり実用上意味がありません。なぜでしょうか?(ヒント:empty や add のない TABLE モジュールを […]

練習問題 9.3 キュー構造のモジュールを定義する

練習問題 9.3 モジュールとシグネチャを使ったキューリスト 以下は、書き換え可能データを使わないキューのシグネチャです。add などは要素を追加した新しいキューを返すようになっています。 このシグネチャを持つモジュール […]

練習問題 9.2 シグネチャを使う

練習問題 9.2 二分探索木を使ったテーブル 二分探索木を使ったテーブルを、シグネチャとして TABLE2 を与えたモジュールとして実装しなさい。そして、各関数が機能していることを確かめなさい。 解答 実行例 解答中、シ […]