A language that unifies concepts to improve productivity and to use tools for performance and correctness.