如何在 Eiffel 中初始化数组

How to initialize an array in Eiffel

如何在 Eiffel 中用数字列表初始化数组?

在 C 中是这样的:

int foo[] = {2, 3, 5, 7, 10, 87, 72, 67, 1, 0};

像这样:

make
    local
        foo: ARRAY [INTEGER]
    do
        foo := << 2, 3, 5, 7, 10, 87, 72, 67, 1, 0 >>
    end