proc map (fcn f (x : real) : real, var arr : array 0 .. * of real)
    for i : 0 .. upper (arr)
        arr (i) := f (arr (i))
    end for
end map

fcn square (x : real) : real
    result x ** 2
end square

fcn random (x : real) : real
    result Rand.Real ()
end random

proc print (a : array 0 .. * of real)
    for i : 0 .. upper (a)
        put a (i), " " ..
    end for
    put ""
end print

var a : array 0 .. * of real := init (0, 1, 2, 3, 4, 5);
print (a)

map (square, a)
print (a)

map (random, a)
print (a)

% Sadly, this does not work
% map (sin, a)