You may be interested in some recent research[1] on “static rank polymorphism”, ...

evincarofautumn on July 30, 2017 | parent | context | favorite | on: Manipulate Functions with the J Language

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 on July 30, 2017 [–]

Thanks, that is exactly what I was looking for.