A C-family programming language that frees the programmer from hand-written optimizations.