Переводимый язык - Interpreted language

Не следует путать с интерпретацией языка .

Интерпретируемый язык является типом языка программирования , на котором есть переводчик , который работает над виртуальной машиной. Интерпретатор выполняет код построчно и преобразует его в машинный язык низкого уровня. Поскольку интерпретируемый язык работает в виртуальной среде, эти языки считаются платформо-независимыми.

Термины « интерпретируемый язык» и « компилируемый язык» не имеют четкого определения, потому что теоретически любой язык программирования может быть интерпретирован или скомпилирован. В реализации современного языка программирования все более популярными становятся платформы, предоставляющие оба варианта.

Интерпретируемые языки также можно противопоставить машинным языкам. Функционально и выполнение, и интерпретация означают одно и то же - выборку следующей инструкции / оператора из программы и ее выполнение. Хотя интерпретируемый байт-код дополнительно идентичен машинному коду по форме и имеет представление на ассемблере , термин «интерпретируемый» иногда зарезервирован для языков, «обрабатываемых программным обеспечением» ( виртуальной машиной или эмулятором ) поверх собственного (то есть аппаратного ) процессора.

В принципе, программы на многих языках могут компилироваться или интерпретироваться, эмулироваться или выполняться изначально, поэтому это обозначение применяется исключительно на основе общепринятой практики реализации, а не представляет собой существенное свойство языка.

Многие языки были реализованы с использованием как компиляторов, так и интерпретаторов, включая BASIC , C , Lisp и Pascal . Java и C # скомпилированы в байт-код , интерпретируемый язык, удобный для виртуальных машин . Реализации Lisp могут свободно смешивать интерпретируемый и скомпилированный код.

Различие между компилятором и интерпретатором не всегда четко определено, и многие языковые процессоры используют их комбинацию.

Историческая справка

На заре компьютерных технологий на дизайн языка сильно повлияло решение использовать компиляцию или интерпретацию в качестве способа выполнения. Например, Smalltalk (1980), который был разработан для интерпретации во время выполнения, позволяет универсальным объектам динамически взаимодействовать друг с другом.

Первоначально интерпретируемые языки компилировались построчно; то есть каждая строка была скомпилирована в момент ее выполнения, и если цикл или подпрограмма вызывали выполнение определенных строк несколько раз, они каждый раз перекомпилировались. Это стало гораздо реже. Большинство так называемых интерпретируемых языков используют промежуточное представление , сочетающее компиляцию и интерпретацию.

Примеры включают:

Промежуточное представление может быть скомпилировано раз и навсегда (как в Java ), каждый раз перед выполнением (как в Ruby ) или каждый раз, когда перед выполнением обнаруживается изменение источника (как в Python ).

Преимущества

Интерпретация языка дает реализациям некоторую дополнительную гибкость по сравнению с скомпилированными реализациями. Возможности, которые часто проще реализовать в интерпретаторах, чем в компиляторах, включают:

Кроме того, исходный код можно читать и копировать, что дает пользователям больше свободы.

Недостатки

Недостатки интерпретируемых языков:

  • Без статической проверки типов , которая обычно выполняется компилятором, программы могут быть менее надежными, поскольку проверка типов устраняет целый класс программных ошибок (хотя проверка типов кода может выполняться с помощью дополнительных автономных инструментов. См. TypeScript например)
  • Интерпретаторы могут быть восприимчивы к атакам внедрения кода .
  • Более медленное выполнение по сравнению с прямым выполнением машинного кода на центральном процессоре . Для повышения производительности используется метод своевременной компиляции, которая преобразует часто выполняемые последовательности интерпретируемых инструкций в машинный код хоста. JIT чаще всего сочетается с компиляцией в байтовый код, как в Java .
  • Исходный код можно читать и копировать (например, JavaScript на веб-страницах) или более легко реконструировать посредством отражения в приложениях, где интеллектуальная собственность имеет коммерческое преимущество. В некоторых случаях обфускация используется как частичная защита от этого.

Лакмусовые тесты

Для определения того, будет ли конкретный язык называться компилируемым или интерпретируемым его пользователями, можно использовать несколько критериев:

  • Если подпрограмма может быть вызвана до того, как она определена в исходном коде, весь исходный код, вероятно, компилируется в промежуточное представление перед выполнением. Примеры: Perl , Java
  • Если промежуточное представление (например, байт-код) обычно создается и вызывается непосредственно как отдельный шаг при выполнении кода, язык, скорее всего, будет считаться скомпилированным. Примеры: Java , C
  • Если синтаксическая ошибка в исходном коде не препятствует выполнению предыдущих операторов, скорее всего, это интерпретированная парадигма. Примеры: языки оболочки Unix

Они не являются окончательными. Скомпилированные языки могут иметь свойства, подобные интерпретатору, и наоборот.

Список часто используемых интерпретируемых языков

Языки, обычно компилируемые в байт-код

Многие языки сначала компилируются в байт-код . Иногда байт-код также может быть скомпилирован в собственный двоичный файл с помощью компилятора AOT или выполнен в исходном виде с помощью аппаратного процессора.

Смотрите также

Цитирование

  1. ^ "Архив CodePlex" . Архив CodePlex . Проверено 7 апреля 2018 года .

Рекомендации

  • Браун, П.Дж. (1979). Написание интерактивных компиляторов и интерпретаторов . Джон Вили. ISBN   0-471-27609-X .