Go backward to Multidimensional Arrays Go up to Top Go forward to Multidimensional Arrays

Multidimensional Arrays

a in MDArray = inkDArray(map, lower, upper)
    for some k >= 1

access-array: Index -> MDArray ->
    (Location + MDArray + Errvalue)
access-array = lambda i.lambda r. cases r of
    is1DArray(a) -> index₁ a i
    [] is2DArray(a) -> index₂ a i
    ...
    [] iskDArray(a) -> index_k a i
    ...
    end

index_m = lambda (map, lower, upper).lambda i.
    (i lessthan lower) or (i greaterthan upper) ->
    inErrvalue() [] mInject(map(i))

1Inject = lambda l.inLocation(l)
...
(n+1)Inject = lambda a. inMDArray(innDArray(a))