練習問題 11.1 ファンクタの引数にシグネチャを与える 下の のように、MakeSet に与える引数のシグネチャを OrderedType として明示的に指定した場合、このモジュール IntSet’ は、I […]

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

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