Можно сказать (я видел такие определения используются в некоторых учебниках по теории языков программирования), что язык программирования - это просто способ создания типов данных и манипулирования ими. Большинство языков обеспечивают множество родных языковых типов и несколько примитивов для создания более сложных типов на основе этих примитивных типов.

В C, язык обеспечивает такие типы как char, long, pointer. В процессе компилирования C кода, компилятор отображает эти языковые типы в скомпилированные целевые машинные типы. Если вы используете C интерпретатор (я никогда не видел этого сам, но это возможно :), интерпретатор (программа которая интерпретирует исходный текст и выполняет его) отображает языковые типы в машинные типы целевой архитектуры во время выполнения программы (или перед выполнением если это используется во время механизма компилирования).

Perl и Python, которые являются интерпретируемыми языками, на самом деле не обеспечивают определения типов подобно используемым в C. Perl и Python программисты манипулируют переменными и типами переменных только после первого назначения или после первого использования которое определяет тип переменной. Интерпретатор так же часто обеспечивает большинство автоматических преобразований из одного типа в другой. Например, в Perl, переменная которая содержит целочисленное может быть автоматически конвертирована в строку с данным контекстом:

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