Embedded language for high-performance array computations