A new programming language for high-performance computers