練習問題 14.3 (2) 拡張リストを扱うmap関数

練習問題 14.3 (2) 拡張リストの map関数 max や map関数の拡張リストに対しての定義を、上の length、alength と同じように、差分(`App の場合のみ)を記述するように定義しなさい。 解答

練習問題 5.8 末尾再帰なmapをつくる

練習問題 5.8 map の定義は末尾再帰的でないため、リストの長さが長くなるとそれに比例した量のメモリ(スタック)が必要になります。map と同機能で、必要なメモリ量が一定である map2 を定義しなさい。(ヒント:あ […]

練習問題 5.4 二重のmapをひとつのmapにする

練習問題 5.4 f, g を適当な型の関数とします。map f (map g l) を map を一度しか使用しない同じ意味の式に書き換えなさい。map (fun x -> … ) l の … の部分はどうなるで […]