[pyjarrett]

Ada syntax is close to what you described:

    Foo : array (Positive range 1 .. 100) of access function return access Integer;