Языки программирования жестко разделяются на языки компилирующего и интерпретирующего типа.Языки компилирующего типа создают  исполняемый файл,который выполняет операционная система.Языки интерпретирующего типа исполняемого файла не создают,программа на таких языках представляет собой простой текстовый файл,для выполнения которого нужен интерпретатор.Этот самый интерпретатор исполняет операционная система.