Arrays vs Lists and Specialization

[Simon Peyton-Jones]

| You could check out SAC. SAC is a functional language specialized for
| arrays, with restrictions in the language to ensure efficient
compilation.
| The SAC compiler can apparently do a very good job on
scheduling/memory
| allocation as to optimize for cache performance: this is an important
issue
| to get performance in array computations that I believe current
Haskell
| implementations do not bother much about.

Yes, SAC is an outstanding and not-well-enough-known language.   Beats
FORTRAN, which is jolly impressive.  Does not do recursively-defined
arrays, though, I think.

Simon