[evincarofautumn]

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

[haskellandchill]

Thanks, that is exactly what I was looking for.