計算機科学のブログ

Building Abstractions with Data - Hierarchical Data and the Closure Property - Representing Sequences - Mapping over lists - list of squares, iterative process

Structure and Interpretation of Computer Programs: JavaScript Edition(Harold Abelson(著)、Gerald Jay Sussman(著)、Julie Sussman(著)、The MIT Press)のChapter 2(Building Abstractions with Data)、2.2(Hierarchical Data and the Closure Property)、2.2.1(Representing Sequences)、Mapping over lists、Exercise 2.22の解答を求めてみる。

コード

function stringfy(x) {
    return x.toString();
}
function pair(x, y) {
    return [x, y];
}
function head(z) {
    return z[0];
}
function tail(z) {
    return z[1];
}
function list(...args) {
    return args.length === 0 ?
        null :
        pair(args[0], list(...args.slice(1)));
}
function print_list(l) {
    function iter(l, s) {
        return is_null(l) ?
            s + ")" :
            iter(tail(l), s + ", " + stringfy(head(l)));
    }
    return is_null(l) ?
        display("list()") :
        display(iter(tail(l), "list(" + stringfy(head(l))));
}
function display(x) {
    return console.log(x);
}
function is_null(x) {
    return x === null;
}
function square(x) {
    return x * x;
}
function square_list(items) {
    function iter(things, answer) {
        return is_null(things) ?
            answer :
            iter(
                tail(things),
                pair(
                    square(head(things)),
                    answer
                ) // ここで再帰的に要素の平方を先頭にしてるから逆順になる。
            );
    }
    return iter(items, null);
}

const nums = list(1, 2, 3, 4, 5);

print_list(square_list(nums));

function square_list1(items) {
    function iter(things, answer) {
        return is_null(things) ?
            answer :
            iter(
                tail(things),
                pair(
                    answer,
                    square(head(things))) // ここpairの先頭がリストになっている。
            );
    }
    return iter(items, null);
}

display(square_list1(nums));

// メモリーの使用を抑えるためにiterative processにする1つの解決方法
// 逆順にしてからsquare_listを利用。
// 逆順にする分だけ時間がかかるようになるかも。
function reverse(items) {
    function iter(things, answer) {
        return is_null(things) ?
            answer :
            iter(
                tail(things),
                pair(
                    head(things),
                    answer
                )
            );
    }
    return iter(items, null);
}
function square_list2(items) {
    function iter(things, answer) {
        return is_null(things) ?
            answer :
            iter(
                tail(things),
                pair(
                    square(head(things)),
                    answer
                )
            );
    }
    return iter(reverse(items), null);
}
print_list(square_list2(nums));

入出力結果(Terminal, Zsh)

% node answer2.22.js
list(25, 16, 9, 4, 1)
[ [ [ [Array], 9 ], 16 ], 25 ]
list(1, 4, 9, 16, 25)
%