You may be interested in some recent research[1] on “static rank polymorphism”, a way of statically describing & enforcing the implicit structure in an array la

You may be interested in some recent research[1] on “static rank polymorphism”, a way of statically describing & enforcing the implicit structure in an array language. [1] http://lambda-the-ultimate.org/node/5329 http://lambda-the-ultimate.org/node/5329