如何在Eiffel中初始化数组

Question

如何使用Eiffel中的数字列表初始化数组？

在C中它会是这样的：

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

Answer 1

喜欢这个：

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