Comment by msla

Imagine what APL could do with a Haskell-style type system and enforced referential transparency.

APL programmers want to say their language is mathematical notation, well, make it mathematical notation.