The Nx programming language is a strictly typed but type-inferred array programming language for numerical applications.