Re:Manipulate Functions with the J Language
by evincarofautumn on Saturday July 29, 2017 @08:37PM
(#14883778)
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