FISh

From Introducion (see below):

FISh is a new array (collection-oriented) programming language that combines (and extends) the expressive power of functional programming with the efficient execution of imperative, or procedural, programming by performing static shape analysis. [..]

• The FISh homepage.
• Introducion.
• Direct Comparison with C:

  [..] When polymorphic programs are used, then FISh is actually faster than C! [..] The probable source of the difference is that the C comparisons use pointers whereas the FISh comparisons do not, i.e. FISh arrays, even nested arrays, are always unboxed. [..]

• Barry Jay's homepage, the author.