Какие языки программирования не считают высоким уровнем? [закрытый]

Вы обнаружите, что

многие истины, за которые мы цепляемся, зависят от нашей собственной точки зрения.

Для программиста C Ассемблер - это язык низкого уровня. Для программиста на Java C - это язык низкого уровня и так далее.

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

(Цитата из Возвращение джедая )

В значительной степени «низкоуровневые» и «высокоуровневые» не бинарные категории, а представляют собой континуум. Есть некоторые языки, которые явно являются низкоуровневыми (ассемблер, машинный код), но помимо этого есть только «высокоуровневые» и «низкоуровневые».

На мой взгляд, «низкоуровневые» языки требуют кода, который больше похож на архитектуру компьютера, а «высокоуровневые» языки принимают код, который больше похож на структуру проблемы. Но при этом языки могут быть высокоуровневыми для одной проблемы и низкоуровневыми для другой.

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

Вы задаете относительно субъективный вопрос; это вопрос о терминологии, жаргоне и перспективе.

Например, является ли Лисп языком высокого или низкого уровня? Что если реализация выполняется на Lisp Machine?

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

Качества, которые засчитываются в близость реализации к аппаратуре:

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

Обратные качества, которые засчитываются в абстракцию реализации от аппаратуры:

• Программист не имеет доступа к адресу данных во время выполнения (ссылки вместо указателей).
• Математические операции определяются в конкретных терминах, не привязанных к конкретному оборудованию. (Например, ActionScript 3 поддерживает тип Number, который самостоятельно преобразуется из целого числа в число с плавающей точкой, а не испытывает переполнение)
• Управление динамической памятью осуществляется средой, возможно, с помощью подсчета ссылок, сборки мусора или другой схемы автоматического управления памятью.
• Управление памятью во время работы со строками всегда скрыто от программиста и осуществляется средой.

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

• Декларативный, основанный на поиске синтаксис. (например, Prolog)

Учитывая эти факторы, я бы пересмотрел спектр, который вы написали, следующим образом:

Самый низкий уровень:

• Ассемблерный язык рассматриваемой платформы.

Языки низкого уровня с более высоким уровнем управления потоком, чем ассемблер:

• C, C++
• Pascal

Языки высокого уровня:

• FORTRAN
• COBOL
• Python
• Perl

Языки высшего уровня:

• PROLOG
• Python
• Scheme

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

"Уровень" языка - это движущаяся цель. В 1973 году PL/I считался языком высокого уровня. Сегодня язык C считается (по крайней мере, профессионалами в этой области) языком низкого уровня [см. сноску]. Некоторые из причин:

• Открытое представление чисел на машинном уровне
• "Целочисленная" арифметика может переполняться
• Нет реальной поддержки строк, или, по крайней мере, строки не являются первоклассными
• Ручное управление памятью
• Адресная арифметика
• Небезопасно

Язык высокого уровня может включать

• Поддержку целочисленных типов независимо от целевой машины
• Целочисленная арифметика по умолчанию никогда не переполняется, если у машины не закончилась память
• Строки как значения первого класса с, напр. g., конкатенация встроена
• Автоматическое управление памятью без адресной арифметики
• Безопасный

Некоторые кандидаты в "языки высокого уровня" по этому определению могут включать Icon, Scheme, Smalltalk и некоторые из ваших любимых скриптовых языков.

В те времена, когда я был молодым ученым и по земле бродили динозавры, люди называли Icon "очень высокоуровневым языком". Еще 15 лет назад вы даже могли посетить симпозиум по языкам очень высокого уровня. Но этот термин больше не используется.

Почему все продолжают упоминать языки высокого и низкого уровня?

Даже если разница между "высоким" и "низким" постоянно меняется, различия, подобные перечисленным выше, все еще важны. А различий так много, что слова "высокий" и "низкий" могут быть полезным сокращением. Но не настолько полезным: для циника язык высокого уровня - это тот, который выглядит, по крайней мере, таким же мощным, как мой любимый язык, а язык низкого уровня - это все остальное. Другими словами, "уровень" может легко превратиться в простое обзывательство.

Сноска: Трудно найти ссылки на терминологию, используемую на профессиональных встречах, особенно когда профессионалы не используют термины "низкоуровневый" и "высокоуровневый", потому что они не настолько техничны. Но danben спросил о цитатах, и я нашел пару:

• "Для обеспечения требуемой точности экспериментальные программы обычно пишутся на низкоуровневом языке (например, C или Pascal)", в реферируемой статье по компьютерному зрению.

• "Язык программирования C хорошо известен своей гибкостью в работе с низкоуровневыми конструкциями", в важной статье Necula et al.

P.S. Не слишком полагайтесь на Википедию в поисках хорошей информации о языках программирования, особенно если ссылка на Википедию не содержит ссылок или источников

В качестве низкоуровневых я бы добавил:

• .NET IL
• Java JVM
• Другой P-код, используемый в таких средах, как VB6