Программирование

Программа обычно представляет собой некоторый алгоритм в форме, понятной для

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

применяются для передачи компьютеру инструкций по выполнению того или иного

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

программы компилятора преобразуется (компилируется) в набор инструкций для данного типа

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

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

правило, используют особенности конкретного семейства процессоров. Низкоуровневым языком является язык ассемблера (от английского assembler - сборщик) - названия транслятора (компилятора) c языка ассемблера. Язык ассемблера, часто для краткости неверно называют "ассемблером". Команды языка ассемблера один в один соответствуют командам процессора и фактически, представляют собой удобную символьную форму записи команд и аргументов. Обычно программы или участки кода пишутся на низкоуровневом языке ассемблера в случаях, когда разработчику критически важно оптимизировать такие параметры, как быстродействие (например, при создании драйверов устройств) и размер кода (загрузочные сектора, программное обеспечение различных устройств, вирусы, навесные защиты и т.д.).

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

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

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

в то время как их исходный код остаётся, в идеале, неизменным.

Программы, написанные на языках высокого уровня, проще для понимания программистом,

но менее эффективны, чем их аналоги, создаваемые при помощи низкоуровневых языков.

в ряд современных профессиональных высокоуровневых языков программирования.

немецким инженером Конрадом Цузе ещё в период 1942—1946 гг. Однако, широкое

применение высокоуровневых языков началось с возникновением Фортрана и созданием компилятора для этого языка (1957 г.)

Декларативные
Динамические
Учебные
Описания интерфейсов
Прототипные
Объектно-ориентированные
Рефлексивные
Логического программирования

Параллельного программирования
Сценарные (скриптовые)
Эзотерические

понятие функции.
Первым, спроектированным функциональным языком стал Лисп. Вариант данного

языка широко используется в системе автоматизированного проектирования AutoCAD и называется AutoLISP

объекты вычисления;
чистота (отсутствие побочных эффектов);
отложенные (ленивые) вычисления.

предложена фон Нейманом в 40-х годах. Теоретической моделью процедурного программирования

служит алгоритмическая система под названием «машина Тьюринга».

задающих процедуру решения задачи. Основным является оператор присваивания, служащий для

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

исходного состояния памяти, то есть значений исходных данных, в заключительное,

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

Quick Basic до появления Visual Basic)
Си
КОБОЛ
Фортран
Модула-2

Паскаль
ПЛ/1
Рапира
REXX

программирования, в котором для передачи параметров используется машинная модель стека.

Этому описанию соответствует несколько языков, в первую очередь Forth и PostScript, а также многие ассемблерные языки (использующие эту модель на низком уровне — Java, C#). При использовании стека, в качестве основного канала передачи параметров между словами, элементы языка, естественным образом, образуют фразы (последовательное сцепление). Это свойство сближает данные языки с естественными языками.

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

модули.

в частности проверка пред- и пост-условий, обработка ошибок, реализация систем

безопасности.

блоки, отсутствие инструкций безусловного перехода (GOTO), автономные подпрограммы, поддержка рекурсии

и локальных переменных.

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

высокого уровня, в которых программистом не задается пошаговый алгоритм решения

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

синтаксический анализ и компиляцию «на лету», непосредственно на этапе выполнения.

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

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

определённые динамические черты.

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

Language или Interface Definition Language) — язык спецификаций для описания

интерфейсов, синтаксически похожий на C++.
CORBA IDL — Разработан OMG для описания интерфейсов распределенных объектов — названий методов и типов переменных-аргументов. Создан в рамках обобщенной архитектуры CORBA.
COM IDL — Аналогичная CORBA IDL разработка Microsoft, созданная для описания интерфейсов между модулями COM. В общем случае может рассматриваться как подмножество CORBA IDL.

- некоей субстанции, которая объединяет в себе поля (данные) и

методы (выполняемые объектом действия).

(методов). В данный момент ОО языки позволяют выполнять множественное наследование,

т. е. объединять в одном классе возможности нескольких других классов.
Инкапсуляция. Сокрытие деталей реализации, которое (при грамотном использовании) позволяет вносить изменения в части программы безболезненно для других её частей, что существенно упрощает сопровождение и модификацию ПО.
Полиморфизм. При полиморфизме некоторые части (методы) родительского класса заменяются новыми, реализующими специфические для данного потомка действия. Таким образом, интерфейс классов остаётся прежним, а реализация методов с одинаковым названием и набором параметров различается. С понятием «Полиморфизм» тесно связано понятие «Позднего связывания».
Типизация. Позволяет устранить многие ошибки на момент компиляции, операции проводятся только над объектами подходящего типа.

(Delphi)
VB.NET
Visual DataFlex
Perl
PHP
Python
Scala
ActionScript
JavaScript

JScript.NET
Ruby
Smalltalk
Ada
Xbase++
X++
Vala

понятие класса, а повторное использование (наследование) производится путём клонирования существующего

экземпляра объекта — прототипа.

математики изучающий методы и возможности этой парадигмы, основанная на выводе

новых фактов из данных фактов согласно заданным логическим правилам. Логическое программирование основано на теории математической логики. Самым известным языком логического программирования является Prolog

Conniver, и QLISP

Multiprocessor C# )

название язык сценариев) — язык программирования, разработанный для записи «сценариев», последовательностей

операций, которые пользователь может выполнять на компьютере. Простые скриптовые языки раньше часто называли языками пакетной обработки (batch languages или job control languages). Сценарии обычно интерпретируются, а не компилируются (хотя часто сценарии компилируются каждый раз перед запуском).

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

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