A principled rethinking of array languages like APL
Summary
The article advocates a principled, array-oriented approach inspired by APL to achieve broadcasting, multidimensional reasoning, and implicit parallelism. It contrasts this with traditional C-style scalar semantics, discusses a functional semantics with implicit arguments, and sketches axis-aware constructs and type-checking ideas. It also compares to MathProg and ZIMPL and outlines performance implications.