| 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