The Qubicle

Qube is an experimental programming language that combines the power of array programming with the strong type safety of dependent types.