A high-level programming language is a programming language that has strong abstraction from the details of the computer. High-level languages are designed to allow humans to write computer programs and interact with a computer system without needing to understand the underlying hardware. In contrast to low-level programming languages, high-level languages deal with variables, arrays, objects, complex arithmetic or boolean expressions, subroutines and functions, loops, threads, locks, and other abstract computer science concepts, with a focus on usability over optimal program efficiency. High-level languages are closer to human languages and further from machine languages, making them easier to read, write, and maintain. Some examples of high-level programming languages include C, FORTRAN, Pascal, and Python. Ultimately, programs written in a high-level language must be translated into machine language by a compiler or interpreter. The main advantage of high-level languages over low-level languages is that they are easier to grasp and allow a programmer to write code more efficiently.