Reminds me of my exposure to APL. So great. Why isn't it a mainstream language?

Probably many of the same reasons Haskel is not yet a thriving mainstream language.

90% of problem domains yield well to procedural/hybrid languages.

The rest could stand the additional rigor and even provability possible with pure FP languages.