A programming language with strong abstraction from the details of the computer, such as Python or Java. Contrasts with 低級言語 (low-level language).
Python is one of the typical high-level languages.
Programs written in a high-level language are converted into machine language and executed.