Язык программирования

Язык программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель (обычно — ЭВМ) под её управлением.

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

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

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

Как правило, язык программирования определяется не только через спецификации стандарта языка, формально определяющие его синтаксис и семантику , но и через воплощения (реализации) стандарта — программные средства, обеспечивающих трансляцию или интерпретацию программ на этом языке ; такие программные средства различаются по производителю, марке и варианту (версии), времени выпуска, полноте воплощения стандарта, дополнительным возможностям; могут иметь определённые ошибки или особенности воплощения, влияющие на практику использования языка или даже на его стандарт.

Источник: Википедия

Упоминания в литературе

К чему это все? Да к тому, что приложения на других языках программирования (в данном случае речь идет о продуктах Microsoft) не менее «тяжеловесны», чем приложения, написанные на Borland Delphi, если при их написании программист пользуется не только API-функциями. Особенно примечателен в этом случае пример исполняемого файла Visual Basic, который, хотя и имеет малый размер, требует наличия библиотеки, размер которой равен около 1,32 Мбайт. Программа на Visual C++ с использованием, например MFC, в которой реализованы классы оболочки над функциями Windows API (правда, не только они), требует наличия нескольких DLL-файлов. Для Microsoft это не проблема, так как операционная система Windows выпускается именно этой компанией, а следовательно, обеспечить переносимость (здесь – работоспособность без установки) приложений, написанных с использованием ее же сред разработки, очень просто – достаточно добавить нужные библиотеки в состав операционной системы.

Александр Чиртик, Программирование в Delphi. Трюки и эффекты, 2010

С описанием интерфейсов и протоколов разработчики Google справляются легко, ведь для этого нужно писать их любимый код. В Google разработали специальный расширяемый язык Protocol Buffer[19] для сериализации структурированных данных. Protobuf – это механизм описания данных, который не зависит от языка программирования или платформы, которые вы собираетесь использовать. По сути, он похож на XML, только компактнее, быстрее и проще. Разработчик определяет структуру данных с помощью Protocol Buffer и потом использует сгенерированные исходники для чтения и записи структурированных данных на разных языках (Java, C++ или Python). Часто код Protocol Buffer становится первым написанным кодом в проекте. Можно встретить документацию, которая ссылается на protobuf-файлы при описании того, как должна работать полностью реализованная система.

Джефф Каролло, Как тестируют в Google, 2012

Одной из разновидностей языков программирования высокого уровня являются проблемно–ориентированные языки, которые возникли в связи с постоянным расширением области применения вычислительной техники и возникновением целых классов новых задач, требующих решения. Языки данной группы позволяют программисту четко и коротко сформулировать задачу, а программы, написанные на основе этих языков, составлены соответственно в терминах решаемой задачи. К основным проблемно–ориентированным языкам можно отнести:

Ангелина Витальевна Яковлева, Информационные системы в экономике. Шпаргалка

Для разработки микроконтроллерного устройства студенту необходимо выбрать наиболее подходящий МК, подключить к нему датчики, клавиатуру, индикатор, ключи, организовать, при необходимости связь (интерфейс) с другими микропроцессорными устройствами и т. д., а также разработать наиболее сложную и трудоемкую часть устройства – программу. На начальном этапе освоения МК целесообразно использовать язык программирования Ассемблер. Этот язык по сравнению с языками программирования высокого уровня, например Си, дает возможность студенту при изучении МК мыслить в терминах цифровой электроники, что обеспечивает реализацию принципа преемственности в обучении. Кроме того, Ассемблер это один из лучших после математики инструментов, развивающий логическое мышление и создающий предпосылки для творческой деятельности студента, то есть позволяющий обучать природосообразно.

Коллектив авторов, Теоретические и прикладные проблемы современной педагогики. Сборник научных статей по материалам Международной научно-практической конференции, 2012

Мышление на языке систем. Описано системное мышление, которое в процессе своего развития, начиная с 20-х годов прошлого столетия, превратилось в самостоятельную дисциплину, называемую также системным подходом. Системное мышление сосредоточено, прежде всего, на использовании целостного представления, которое служит для понимания динамики взаимодействия между множеством систем в процессе их функционирования. Именно такой подход позволяет выявить возможные пути системного развития и связанные с этим проблемы. Цели системного мышления представлены наряду с инструментами его практической реализации. Описывается различие между «жесткими» и «мягкими» системами. Важнейшим аспектом системного мышления является моделирование, для которого существует множество методов и инструментов, начиная от структурирования текста и использования различных графических представлений, использующихся для качественного анализа, и до моделей, элементы которых могут быть описаны на различных языках программирования, и использованы в качестве основы количественного анализа посредством имитации. Описываются несколько подходов, в том числе: метод «Пять Почему», диаграммы влияния, язык причинно-следственных связей, обратных связей и запаздывания реакции Питера Сенге (Peter Senge), методология Rich Pictures (Богатые картинки), метод системограмм (Systemigrams) и методы имитационного моделирования STELLA и iThink. Питер Чекланд (Peter Checkland), один из известных специалистов в области системного мышления, в разработанной им методологии устанавливает связь между мышлением и деятельностью, которую он назвал методологией мягких систем (Soft System Methodology, SSM). Рассматривается сущность экспериментального исследования, из которого вытекает потребность в SSM, а также модель SSM, введенная Чекландом. Наконец, представлено несколько общих принципов, которые необходимо помнить применительно к системному мышлению.

Гарольд «Бад» Лоусон, Путешествие по системному ландшафту

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

Бойцев О. М., Защити свой компьютер на 100% от вирусов и хакеров, 2008

Автоматическое доказательство теорем – одна из старейших областей возможного применения ИИ, где было много достижений, исследований и программ, включая Универсальный решатель задач Ньюэлла и Саймона. Люгер подчеркивает, что именно "…эта ветвь принесла наиболее богатые плоды…" [264, стр. 44]. Благодаря исследованиям в этой области были формализованы алгоритмы поиска и разработаны языки формальных представлений, такие как исчисление предикатов и логический язык программирования Пролог. Приведем обоснование Дж. Люгера: "… привлекательность автоматического доказательства теорем основана на строгости и общности логики. В формальной системе логика располагает к автоматизации. Разнообразные проблемы можно попытаться решить, представив описание задачи и существенно относящуюся к ней информацию в виде логических аксиом и рассматривая различные случаи задачи как теоремы, которые нужно доказать. Этот принцип лежит в основе автоматического доказательства теорем и систем математических обоснований" [264, стр. 44]. Далее следует замечательный вывод и итог 20 века в этой наиболее богатой ветви: "К сожалению, в ранних пробах написать программу для автоматического доказательства, не удалось разработать систему, которая бы единообразно решала сложные задачи" [264, стр. 44]. Таким образом, Дж. Люгер подтверждает наш тезис о том, что в прошлом веке даже в самых передовых областях ИИ ученые не смогли решить сложные задачи, а значит, нужны принципиально новые подходы и исследования, к числу которых относится и миварный подход.

Варламов О. О., Мивары: 25 лет создания искусственного интеллекта, -1

Машинно-ориентированные языки являются машинно-зависимым языком программирования. Основные конструктивные средства подобных языков дают возможность учитывать особенности архитектуры и принципов работы каждой ЭВМ.

Луковкина Аурика, Программирование. Шпаргалка, 2009

Это предположение было проверено эмпирически. Анализу были подвергнуты пятибуквенные анаграммы, использованные в экспериментальном исследовании А. А. Медынцева (2011). В этом психофизиологическом исследовании испытуемые решали пятибуквенные анаграммы и среди прочего должны были сообщать о том, носило ли решение инсайтный характер (произошло ли при решении озарение). Авторами совместно с Е. А. Голышевой был произведен анализ данных этого исследования, цель которого состояла в том, чтобы оценить вероятность сообщения испытуемыми об инсайте при решении анаграмм, образованных буквосочетаниями различной частотности. Е. А. Голышевой был разработан специальный метод анализа частоты встречаемости двухбуквенных сочетаний в тексте. Написана соответствующая программа (на языке программирования Java), анализирующая текст с подсчетом всевозможных двухбуквенных сочетаний, произведен подсчет сочетаний букв в тексте. Написана программа, выделяющая из текста пятибуквенные слова для сравнения их с пятибуквенными анаграммами по частоте сочетаний (язык программирования Object Pascal), и программа, позволяющая подсчитывать частоту встречаемости двухбуквенных сочетаний в зависимости от перестановки букв, т. е. от типа анаграммы (Object Pascal). В соответствии с этим производился анализ частоты буквенных сочетаний в данном типе перестановки с вероятностью правильного решения и с вероятностью инсайта при решении.

Коллектив авторов, Современные исследования интеллекта и творчества, 2015

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

Информатика и информационные технологии, -1

• «Американский национальный институт стандартов» (American National Standards Institute, ANSI) – организация, занимающаяся разработкой стандартов, в том числе и в составе ISO; внедряемые ею стандарты носят разнообразный характер, начиная с сетевых и заканчивая стандартами языков программирования.

Ватаманюк А. И., Домашние и офисные сети под Vista и XP, 2008