В общем случае понятие трансляции относится не только к языкам программирования, но и к другим языкам — как формальным компьютерным (вроде языков разметки типа HTML), так и естественным (русскому, английскому и т. п.)[3][4]. Эти акценты призывают к использованию языков, воплощающих некое математическое исчисление, аккуратно адаптированное для того, чтобы быть более практичным языком для разработки реальных программ. Такие языки отличаются ортогональностью, и хотя это означает необходимость вручную реализовывать многие распространённые идиомы, доступные в более популярных языках в качестве примитивов языка, выразительность таких языков в целом может быть существенно выше. Важным направлением работ становятся визуальные (графические) языки программирования, в которых процесс «написания» программы как текста заменяется на процесс «рисования» (конструирования программы в виде диаграммы) на экране ЭВМ.
Фактически, языки пятого поколения — это языки четвёртого поколения, дополненные базой знаний[24] — поэтому эта категория, как уже выше отмечено, не является общепринятой. Введя терминологию «сущностей первого и второго класса», Стрэчи[en] тут же акцентировал внимание на том, что из личного опыта и обсуждений со множеством людей он убедился, что невероятно тяжело перестать думать о функциях как об объектах второго класса[35]. То есть порядок языка имеет ярко выраженное психологическое влияние (см. гипотеза Сепира — Уорфа). Владение языками более высокого уровня поможет программисту думать в терминах более высокоуровневых абстракций[38].
Интерпретация[править править код]
Обычно, машинный язык — язык низкого уровня, но существуют процессоры, использующие языки высокого уровня (например, iAPX-432[5]). Однако, такие процессоры не получили распространения в силу своей сложности и дороговизны. Сказанное преимущественно относится к языкам, семантика которых основана на лямбда-исчислении (потомки Lisp, ML). Однако некоторые языки иной природы также предоставляют возможность программирования высшего порядка[en]. Примерами служат стековые языки (Forth) и определённая разновидность объектно-ориентированных языков (Smalltalk, CLOS, см. сообщение высшего порядка[en]). Естественный для языка способ реализации определяется временем связывания программных элементов с их характеристиками.
- Хоар предсказывал, что сложность Ады станет причиной катастроф.
- Для любого традиционно компилируемого языка (такого как Паскаль) можно написать интерпретатор.
- То есть порядок языка имеет ярко выраженное психологическое влияние (см. гипотеза Сепира — Уорфа).
- Разница в том, что в Simula объекты дополняли примитивы, такие как числа и булевые значения, в то время как в Smalltalk даже булевые значения были объектами.
Другой яркий пример — Pascal to C Translator (P2C), который транслирует Pascal в C. Он существует в виде классического программного файла и в него есть возможность скопировать или перенести данные. Но только в пределах той же платформы или ОС и тут же запустить, не подвергаясь при этом установке. Иными словами это называется результат полнофункционального ПО разработанного с учетом одного из вышеупомянутых языков программирования, используемого специалистами. Фактически эти технические языки были созданы давно и их количество продолжает развиваться.
Нужно больше языков?
Логично, что раз компьютеры справляются с обычными языками, то с языками программирования должно быть ещё легче — они строже, структурированнее, проще в плане синтаксиса и не двусмысленны. Но на деле именно эти простота и строгость усложняют автоматический перевод программ с одного языка на другой. Он очень легко поддается изменениям в зависимости от человеческих решений. В случае с языками программирования нужно придерживаться четкой структуры написания и синтаксиса для того, чтобы сам язык был не только понятным, но и его можно было бы применять. Эта функция поисковика и системы в принципе угадывать, что именно пользователь, использующий браузер Google, намерен искать, не считается свидетельством высокой способности девайса угадывать намерение на одном из языков программирования. Компилятор — это вид транслятора, преобразующий исходный код с какого-либо языка программирования на машинный язык[6].
Но все же, пользователи утверждают, что они работают недостаточно хорошо, чтобы справиться с преобразованием приложения iOS, к примеру, для использования на Android. Суть в том, что специалисты не могут интерпретировать языки программирования для гаджетов, но тем не менее, они могут заниматься налаживанием, устранением неполадок или настраиванием кодов, если у них есть нюансы с ними. Языками программирования называют некие технические формальные языки, которые были созданы для того, чтобы создавать программы и гаджеты, а также программные обеспечения. Сами специалисты называют их жизненно важными, если говорить о технологическом развитии и реализации конкретных алгоритмов.
Язык программирования
Языки первого порядка позволяют воплощать в виде кода алгоритмы, но не архитектуру программ. Схемы взаимодействия компонентов (процедур, функций, объектов, процессов и др.) для программ на языках первого порядка могут существовать переводчик языков программирования лишь на условном уровне, вне самих программ. Со временем были обнаружены многократно повторяющиеся однотипные схемы такого рода, в результате чего вокруг них выстроилась самостоятельная методология — шаблоны проектирования.
Не существует общепринятой систематичной таксономии языков программирования. В период 1960-х — 1970-х годов были разработаны основные парадигмы языков программирования, используемые в настоящее время, хотя во многих аспектах этот процесс представлял собой лишь улучшение идей и концепций, заложенных ещё в первых языках третьего поколения. Человек легко додумывает или мысленно исправляет косяки «Google Переводчика». Даже самая мелкая неточность приводит к тому, что программу невозможно запустить. Иначе говоря, перевод языков программирования должен быть идеальным, чтобы от него был хоть какой-то толк.
На других языках
Однако существуют техники агрессивной оптимизации программ, позволяющие редуцировать языки высшего порядка до языков первого порядка (см. дефункционализация, MLton, Stalin Scheme[en]). Первые три поколения языков формируют императивную парадигму программирования, а последующие — декларативную[24]. Термин «императив» означает «приказной порядок», то есть программирование посредством пошагового инструктирования машины, или детального указания уже придуманного программистом способа реализации технического задания. Термин «декларатив» означает «описание», то есть программирование посредством предоставления формализации технического задания в виде, пригодном для автоматических преобразований[en], с предоставлением свободы выбора транслятору языка. Императивные языки нацелены на описание того, как получить результат, тогда как языки более высокого уровня нацелены на описание того, что требуется в результате. Поэтому первые называют как-языками (или языками, ориентированными на машину), а вторые — что-языками (или языками, ориентированными на человека).
В настоящее время развитие языков программирования идёт в направлении повышения безопасности и надёжности, создания новых форм модульной организации кода и интеграции с базами данных. Компиляция большинства языков программирования включает шаг «взять текст программы и преобразовать его в синтаксическое дерево». Одним из первых транспайлеров можно считать Ratfor — язык программирования, который расширяет возможности Fortran 66 — в частности, предоставляет операторы if-else и while.
См. также[править править код]
Такого рода особенностей машинной логики очень много, так что общая информационная сложность возрастает экспоненциально при каждом «шаге на уровень вниз», а компиляция языка высокого уровня может включать десятки таких шагов. Эта двойственность появилась в 1950-е годы, при создании языков Планкалкюль и Фортран. При их разработке ставились прямые намерения обеспечить более краткую запись часто встречающихся конструкций (например, арифметических выражений), чем требовали процессоры того времени. В этих языках вводился новый слой абстракции и предполагались преобразования программ в машинный язык, поэтому их назвали языками «высокого уровня», то есть надстройкой, надслоением над языком машины.
Некоторые универсальны, другие могут быть применимы лишь к языкам определённой природы, а некоторые зависят от способа использования языка. Примером может служить оптимизация хвостовых вызовов и её частный случай — оптимизация хвостовой рекурсии. Хотя компиляторы многих языков осуществляют оптимизацию хвостовой рекурсии при определённых условиях, лишь некоторые языки способны семантически гарантировать оптимизацию хвостовых вызовов в общем случае. Стандарт языка Scheme требует, чтобы всякая реализация гарантировала её.