Управляющие символы ASCII используются ограниченно: допускаются только возврат каретки CR, перевод строки LF и горизонтальная табуляция HT (иногда также вертикальная табуляция VT и переход к следующей странице FF).
Ранние языки, которые возникли в эпоху 6-битных символов, использовали более ограниченный набор. Например, алфавит Фортрана включает 49 символов (включая пробел): A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 0 1 2 3 4 5 6 7 8 9 = + - * / (). , $ ' :
Заметным исключением является язык APL, в котором используется очень много специальных символов.
Наконец можно упомянуть, что языки программирования также где-то условно разбиты на классы, всего их приблизительно около 15. Описание этих классов будет представлено ниже. Самыми узнаваемыми классами стоит считать объектно-ориентированный класс и класс процедурного программирования.
Процедурное программирование — это парадигма программирования, основанная на концепции вызова процедуры. Процедуры, также известны как подпрограммы, методы, или функции (это не математические функции, но функции, подобные тем, которые используются в функциональном программировании).
Процедуры просто напросто содержат последовательность шагов для реализации (выполнения). В ходе выполнения программы любая процедура может быть вызвана из любой точки, включая саму данную процедуру.
Среди представителей выделим следующих:
Ada (язык общего назначения), Basic, С# (из Microsoft), ColdFusion, D, Delphi, ECMAScript также известен как JavaScript, Jscript, Forth, Fortran, Pascal, Perl, Visual Basic и пр.
Объектно-ориентированное программирование (ООП) — парадигма программирования, основанная на представлении предметной области в виде системы взаимосвязанных абстрактных объектов и их реализаций.
Основной проблемой процедурного программирования является то, что данные и функции их обработки не были связаны. Это вносило некоторую сложность в разработку программы. С появлением концепции ООП появилась новая структура данных — класс. Это по сути дела тип данных, внешне похожий на структуру (в языке Си) или запись (в Pascal-е), в котором кроме данных (свойства) также содержались функции их обработки (методы). При этом появляются такие свойства как наследование, полиморфизм и инкапсуляция.
Неполный список представителей данного класса представлен ниже:
Smalltalk, C++, Java, C#, Python, PHP, Ruby, Object Pascal (Delphi), VB.NET, Xbase++.
В языках функционального программирования основными конструктивными элементами являются функции. Основное отличие от императивных языков программирования заключается в декларативности описаний функций. Тексты программ на функциональных языках программирования описывают, грубо говоря «как решить задачу», но не предписывают последовательность действий для решения. Представители: OCaml, Flang, Haskell, Лисп, Clean, Erlang.
Аспектно-ориентированное программирование (АОП) — парадигма программирования, основанная на идеи разделения функциональности, особенно сквозной функциональности, для улучшения разбиения программы на модули.
Прототипное программирование — стиль объектно-ориентированного программирования, при котором отсутствует понятие класса, а повторное использование (наследование) производится путём клонирования существующего экземпляра объекта — прототипа.
Каноническим примером прототип-ориентированного языка является язык Self. В дальнейшем этот стиль программирования начал обретать популярность, и был положен в основу таких языков программирования JavaScript, Cecil, NewtonScript, Io, Slate, MOO, REBOL, Kevo и др.
Логическое программирование — парадигма программирования, а также раздел дискретной математики изучающий методы и возможности этой парадигмы, основанная на выводе новых фактов из данных фактов согласно заданным логическим правилам. Логическое программирование основано на теории математической логики. Самым известным языком логического программирования является Prolog, являющийся по своей сути универсальной машиной вывода, работающей в предположении замкнутости мира фактов.
Также можно выделить неявное разделение — учебные языки программирования. Эта ветвь включает язык Pascal и Visual Basic, языки векторного программирования, декларативные, узкоспециализированные, сценарные или скриптовые языки программирования, т. е. языки, разработанный для записи «сценариев», последовательностей операций, которые пользователь может выполнять на компьютере.
В завершении попробуем ответить на вопрос «Какой же язык следует считать хорошим», вопрос, поставленный в книге Т. Пратта «Языки программирования: разработка и реализация», и рассмотрев аспекты, которые выделил автор, отвечая на этот вопрос.
Стоит отметить, что конструирования языков программирования высокого уровня еще далеко от совершенства. Разные программисты предпочитают разные языки программирования. Давайте попробуем разобраться в причинах, почему так происходит.
Первый фактор, который выделил Т. Пратт, это ясность, простота и согласованность понятий языка. Это понятие включает в себя семантическую ясность, ясность понятий, язык должен быть помощником программиста задолго до того, как тот достигнет стадии написания программы.
Важно выделить и ясность структуры программы. Ясность структуры программы дает программисту ряд преимуществ. Программу, структура которой отражает структуру лежащего в ее основе алгоритма, легче писать, отлаживать, модифицировать и понимать.
Т.Пратт также выделяет немаловажный аспект — естественность в приложениях. Язык должен предоставлять подходящие для решаемой задачи структуры данных, операции, управляющие структуры и естественный синтаксис.
Также следует очень важное свойство языков программирования, такое как эффективность. Под эффективностью предполагается эффективность выполнения, трансляции, создания, тестирования и использования программ.
Эти критерии становятся наиболее важными при создании больших производственных программ, которые будут выполняться, модифицироваться много раз.
Использованная литература и ресурсы Интернет:
Велихов Е. П. Информатика — актуальное направление развития советской науки. В «сб. «Кибернетика. Становление информатики.» — М.:Наука, 1986.
D ictionary of Computing. D ata Communications.
hardware and Software. B asics. D igital Electronics. John Wiley, 1983.
Дородницын А. А. Информатика: предмет и задачи. В сб. «Кибернетика. Становление информатики.» — М.: Наука, 1986.
Шемакин Ю.И.
Введение
в информатику. — М.:Финансы и статистика, 1985.
Т. Пратт Языки программирования: разработка и реализация. — М: Мир, 1979.
http://ru.wikipedia.org — Википедия. Свободная энциклопедия.
Глоссарий.
ру — Естественно-научный словарь.
http://teormin.ifmo.ru/curricula/pl/ - Языки программирования. Теоретический минимум по информатики.
