Просмотр кода страницы ПЛ/1

{{Карточка языка программирования
| name = ПЛ/1
| year = 1964
| последняя версия = PL/I for z/OS 6.1<ref>{{Cite news|title=IBM Enterprise PL/I for z/OS 6.1 supports and takes advantage of the latest IBM z16 architecture to help you capitalize on your existing IT investments|url=https://www.ibm.com/common/ssi/ShowDoc.wss?docURL=/common/ssi/rep_ca/2/899/ENUSLP19-0482/index.html|accessdate=2022-07-22|archivedate=2022-05-27|archiveurl=https://web.archive.org/web/20220527123510/https://www.ibm.com/common/ssi/ShowDoc.wss?docURL=%2Fcommon%2Fssi%2Frep_ca%2F2%2F899%2FENUSLP19-0482%2Findex.html}}</ref>
| дата выпуска последней версии = {{start date and age|2022|04|05}}
| class = [[компилятор|компилируемый]]
| paradigm = [[Императивное программирование|императивный]], [[Структурное программирование|структурированный]]
| influenced_by = [[Алгол]], [[Кобол]], [[Фортран]]
| influenced = [[AS/400 CL]], [[B (язык программирования)|B]], [[C (язык программирования)|Си]], [[PL/65]], [[PL/C]], [[PL/M]]
}}
'''ПЛ/1''' (''PL/I'', ''Programming Language I'' — «язык программирования номер один», в [[Русский язык|русском языке]] произносится «пи-э́ль оди́н») — разработанный в [[1964 год]]у [[язык программирования]], созданный для научных, инженерных и бизнес-ориентированных вычислений. Содержит настолько широкий набор синтаксических конструкций и встроенных функций, что, вероятно, не существует ни одного [[компилятор]]а, поддерживающего все предусмотренные в спецификации языка возможности. Поддерживает [[Рекурсия|рекурсию]] и [[структурное программирование]], широко применялся в обработке данных. Настоящее международное название языка PL/I (из латинских литер, как и PL/M, PL/S) в СССР не прижилось.

Разрабатывался [[IBM]] как универсальный язык, превосходящий по возможностям предшественников, но получил лишь ограниченное распространение из-за сложности самого языка и его реализаций.

== Основные свойства ==
В отличие от других языков программирования, у ПЛ/1 - свободный [[синтаксис]]: [[ключевые слова]] в зависимости от контекста могут быть идентификаторами. Это даёт возможность развивать язык, пополняя его новыми ключевыми словами, которые бы не вступали в конфликт с идентификаторами в старых программах<ref>{{Cite web |url=http://compiler.su/o-pl1-i-pochemu-v-nyom-ne-zarezervirovany-klyuchevye-slova.php |title=О PL/1 и почему в нём не зарезервированы ключевые слова |access-date=2022-01-06 |archive-date=2022-01-06 |archive-url=https://web.archive.org/web/20220106194330/http://compiler.su/o-pl1-i-pochemu-v-nyom-ne-zarezervirovany-klyuchevye-slova.php |deadlink=no }}</ref>. Ключевые слова и [[идентификатор]]ы [[Чувствительность к регистру символов|нечувствительны к регистру]]. Язык предусматривает очень обобщённые [[Оператор (программирование)|операторы]] со многими вариантами синтаксиса.

В языке весьма развита система [[Встроенные типы данных|встроенных типов данных]], при этом имеется возможность неявных преобразований между большинством из них. Поддерживаются сложные структуры с объединениями (в терминологии [[Паскаль (язык программирования)|Паскаля]] — записи с вариантами). Реализовано множество операций с [[Массив (программирование)|массивами]].

Язык стал первым, использовавшим термин «статический» для переменных, хранящих не в стеке, а в статической памяти. Предусмотрено несколько видов [[Динамическое выделение памяти|динамического выделения памяти]]. По умолчанию (в классических версиях для [[мейнфрейм]]ов — всегда) используется [[передача параметров по ссылке]].
 
Для управляющих конструкций заложена строго определённая семантика, например, [[оператор цикла]] определён через эквивалентные присваивания и [[go to]] и так далее.

Впервые в истории языков программирования в языке был реализован развитый механизм [[Исключительные состояния|исключительных состояний]].

На уровне языка реализована поддержка [[многозадачность|многозадачности]] и [[Асинхронный ввод-вывод|асинхронного ввода-вывода]], сложных методов доступа для [[Ввод-вывод|ввода-вывода]].

В язык встроен развитый [[препроцессор]], фактически сам являющийся подмножеством ПЛ/1.

Из синтаксических особенностей, появившихся впервые в языке — символика <code>/* */</code> для комментариев и нотация «<code>-></code>» для указателей.

== Алфавит ==
Первоначальный алфавит ПЛ/1 включал 60 символов: <code>$ @ # 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 = + — * / () , . ' % ; : ¬ & | &gt; &lt; _ ?</code> и пробел.

Была предусмотрена возможность работы и с более ограниченным 48-символьным алфавитом, в который не входили символы <code>@ # ; : ¬ & | &gt; &lt; _ ?</code> — вместо отсутствующих символов использовались дополнительные ключевые слова:<ref>{{Cite web |url=http://www.osdata.com/topic/language/pli.htm |title=PL/I Programming Language One<!-- Заголовок добавлен ботом --> |access-date=2006-09-20 |archive-date=2006-09-07 |archive-url=https://web.archive.org/web/20060907041337/http://www.osdata.com/topic/language/pli.htm |deadlink=no }}</ref>

{| class="wikitable" style="text-align:center"
! 60 символов
| <code>:</code> || <code>;</code> || <code>&#124;&#124;</code> || <code>&gt;</code> || <code>&gt;=</code> || <code>&lt;</code> || <code>&lt;=</code> || <code>¬&lt;</code> || <code>¬&gt;</code> || <code>¬=</code> || <code>¬</code> || <code>&#124;</code> || <code>&amp;</code> || <code>-&gt;</code>
|-
! 48 символов
| <code>..</code> || <code>,.</code> || <code>CAT</code> || <code>GT</code> || <code>GE</code> || <code>LT</code> || <code>LE</code> || <code>NL</code> || <code>NG</code> || <code>NE</code> || <code>NOT</code> || <code>OR</code> || <code>AND</code> || <code>PT</code>
|}

В современных версиях языка разрешено использовать также строчные латинские буквы, а в компиляторе PL/1-KT<ref>{{Cite web |url=https://pl1.su/%d0%ba%d0%be%d0%bc%d0%bf%d0%b8%d0%bb%d1%8f%d1%82%d0%be%d1%80-pl-1-kt/ |title=Компилятор PL/1-KT |access-date=2022-01-06 |archive-date=2021-06-15 |archive-url=https://web.archive.org/web/20210615192727/https://pl1.su/%D0%BA%D0%BE%D0%BC%D0%BF%D0%B8%D0%BB%D1%8F%D1%82%D0%BE%D1%80-pl-1-kt/ |deadlink=no }}</ref> — русские строчные и прописные буквы. Везде, кроме значений строк символов, строчные буквы эквивалентны прописным. Вместо символа <code>¬</code> (отрицание), отсутствующего в [[переносимый набор символов|переносимом наборе символов]], используют <code>~</code>.

== История ==
ПЛ/1 был разработан в [[IBM]] как часть системы [[System/360]]. До того IBM разработала несколько несовместимых компьютеров для разных целей: одни для научных, другие — для бухгалтерских приложений. Целью System/360 была разработка единой системы совместимых компьютеров, которые заменили бы все предыдущие модели и могли бы с успехом использоваться для любых задач.

Научные и бухгалтерские программы не только использовали разные компьютеры, но ещё и писались на разных языках: научные — на [[Фортран]]е, бухгалтерские — в основном на [[Кобол]]е. Целью ПЛ/1 было создание языка, подходящего для обоих типов приложений. Другой целью было добавление конструкций для структурного программирования, взятых из [[Алгол-60|Алгола-60]], не поддерживавшихся в то время ни Коболом, ни Фортраном.

Для разработки языка был сформирован комитет, состоявший из программистов IBM и пользователей со всех концов [[США]]. Работа комитета длилась несколько месяцев. Изначально планировалось, что ПЛ/1 будет готов к использованию к моменту запуска System/360, но это не было выполнено.

Язык изначально был назван NPL (New Programming Language — «новый язык программирования»), но эта аббревиатура уже использовалось британской Национальной физической лабораторией (National Physics Laboratory), поэтому название изменили на ПЛ/1.

Поначалу ПЛ/1 вызвал большой энтузиазм, но оказался не так успешен, как планировалось, по ряду причин. Основная причина — большая сложность языка, язык был разработан комитетом, пытавшимся согласовать и удовлетворить нужды совершенно разных пользователей (научных и банковских), в результате язык оказался как сложен для освоения, так и труден для реализации компиляторов. Следствием сложности компиляторов стало их низкое качество, неоптимальность генерируемого исполняемого кода и большое количество сбоев и ошибок на этапе исполнения. В частности, возможность асинхронной модификации (например, в результате конструкции <code>on error</code>) делает оптимизацию на этапе компиляции крайне затруднительной. Особенно критичной неоптимальность оказалась для математических расчётов, из-за чего язык не смог заменить Фортран для этого класса задач. При этом значительная часть пользователей не использовала многие встроенные возможности, например, практически невостребованной осталась поддержка многозадачности. Кроме того, компиляторы языка ПЛ/1 реализовывали различные подмножества языка, что приводило к непереносимости программ.

Со временем ситуация изменилась: сложным язык был относительно существовавших тогда Фортрана, Кобола, Алгола, в сравнении с более современными языками ПЛ/1 стал не так сложен, и со временем было реализовано множество различных компиляторов<ref>{{Cite web |url=https://pl1.su/ |title=Перечень компиляторов PL/1 на pl1.su |access-date=2022-01-06 |archive-date=2022-03-09 |archive-url=https://web.archive.org/web/20220309133653/https://pl1.su/ |deadlink=no }}</ref>, генерирующих качественный код. Хотя ПЛ/1 и не смог вытеснить Фортран и Кобол (или даже сравниться с ними по популярности — во всём мире, но не в [[СССР]] и странах [[СЭВ]]), тем не менее, он активно использовался во второй половине 1960-х и в 1970-х годах, особенно для бухгалтерских приложений, в основном из-за отсутствия в то время лучшей альтернативы. Наибольшую популярность он завоевал в СССР и странах СЭВ, так как его компилятор входил в комплект поставки [[ЕС ЭВМ]]. Также в СССР было издано большое количество учебной литературы по языку. Как Фортран, так и КОБОЛ были бедны по своим возможностям даже для задач того времени. ПЛ/1, напротив, представлял богатый набор средств.

Так, проект [[Multics]], одна из первых попыток написать ОС на языке высокого уровня, использовал EPL (Early PL) — диалект ПЛ/1, разработанный в [[Массачусетский технологический институт|МТИ]] в [[1964 год]]у. Впоследствии для Multics был реализован «настоящий» ПЛ/1. Диалект XPL был использован для создания языка [[HAL/S]], на котором программировались компьютеры космических кораблей проекта «Шаттл». Для ещё одного подмножества — PL/C — в Корнеллском университете был создан уникальный компилятор [[CORC]], который мог скомпилировать программу с любыми синтаксическими ошибками, путём исправления многих ошибок и преобразования оставшихся в объектный код (это свойство в значительной степени присуще также компиляторам IBM для мейнфреймов). Первая система резервирования авиабилетов, SABRE, была написана (по крайней мере, её предполагалось написать) на ПЛ/1. Ещё одним диалектом ПЛ/1 был [[PL/S]], на котором фирма [[IBM]] написала в начале [[1970-е годы|1970-х годах]] операционную систему [[MVS]]. IBM до сих пор использует усовершенствованный PL/S (который ныне известен как PL/X) для работы над системами семейства [[z/OS]] для [[IBM System z]].

В [[СССР]] ПЛ/1 также был популярен в 1970-х и до первой половины [[1990-е годы|1990-х годов]] благодаря широкой распространённости [[ЕС ЭВМ]], совместимых с мейнфреймами IBM. Кроме того, ПЛ/1 был реализован на [[БЭСМ-6]] и [[Эльбрус (компьютер)|Эльбрусе]].

В 1972 году [[Гари Килдалл]] из [[Intel]] разработал на базе ПЛ/1 язык [[PL/M]] для операционной системы [[CP/M]] — приблизительный аналог языка [[Си (язык программирования)|Си]] с синтаксисом, близким к подмножеству ПЛ/1. Впоследствии Килдалл основал фирму [[Digital Research]], которая реализовала подмножество ПЛ/1 общего назначения «G» (международный стандарт ISO/IEC 6522:1992) для процессоров [[8080|(8080) Intel]], а затем для [[8086|Intel 8086]] и [[MS-DOS]].

== Реализации ==
Хотя ПЛ/1 использовался в основном на мейнфреймах различных производителей, были также версии для операционных систем [[AIX]], [[OS/2]], [[OS/400]], [[Windows]], [[Unix]] и ряда других.

Одной из примечательных реализаций стал советский компилятор PL/1-KT для MS DOS, созданный на основе реализации Digital Resarch; среди его расширений<ref>{{Cite web |url=https://pl1.su/k-voprosu-o-sovershenstvovanii-jazyka-programmirovanija/ |title=К вопросу о совершенствовании ЯП |access-date=2022-01-06 |archive-date=2021-04-18 |archive-url=https://web.archive.org/web/20210418044100/https://pl1.su/k-voprosu-o-sovershenstvovanii-jazyka-programmirovanija/ |deadlink=no }}</ref> — поддержка в системе типов [[Международная система единиц|единиц СИ]] (метр, килограмм, секунда, Кельвин, ампер, кандела, моль, а также радиана и стерадиана)<ref>{{Cite web |url=https://pl1.su/tipy-v-inzhenernyh-zadachah/ |title=Типы в инженерных задачах |access-date=2022-01-06 |archive-date=2021-04-22 |archive-url=https://web.archive.org/web/20210422021150/https://pl1.su/tipy-v-inzhenernyh-zadachah/ |deadlink=no }}</ref>), использование русских идентификаторов и ключевых слов, применение символов псевдографики в качестве пробелов, сокращённые формы записи операций, операторы обнуления.

По состоянию на 2020-е годы существуют следующие компиляторы ПЛ/1:
* фирмы [[IBM]] — для платформ [[z/OS]], [[MVS]], [[VM (ОС)|VM]], [[VSE]], AIX, Windows,
* фирмы [[Micro Focus]] — для платформ [[HP-UX]], AIX, Windows, [[Solaris]], [[Linux]] ([[SuSE]], [[RedHat]]),
* фирмы [[Fujitsu-Siemens]] — для платформы [[BS2000/OSD]],
* фирмы [[Kednos]] — для платформ [[OpenVMS]] и [[Tru64]],
* фирмы [[Stratus Technologies]] — для платформы [[VOS (ОС)|VOS]],
* фирмы Raincode<ref>{{Cite web |url=https://www.raincode.com/technical-landscape/pli/ |title=Raincode |access-date=2022-01-06 |archive-date=2022-01-07 |archive-url=https://web.archive.org/web/20220107035416/https://www.raincode.com/technical-landscape/pli/ |deadlink=no }}</ref> — для платформы [[.NET]],
* фирмы Iron Spring<ref>{{Cite web |url=http://www.iron-spring.com/index.html |title=Iron Spring Software |access-date=2022-01-06 |archive-date=2021-08-27 |archive-url=https://web.archive.org/web/20210827234405/http://www.iron-spring.com/index.html |deadlink=no }}</ref> — для платформ [[OS/2]] и [[Linux]].
* свободный компилятор PL/1-KT для платформы [[Wintel]].

Первый компилятор PL/I (F) от IBM (как и вся [[OS/360]]) и компилятор PL/C CORC имеют статус свободно распространяемого программного обеспечения.

== Пример программы ==
<source lang="pli">
Test: procedure options(main);
   declare My_String char(20) varying initialize('Hello, world!');
   put skip list(My_String);
end Test;
</source>
То же самое можно написать гораздо короче:
<source lang="pli">
Test: proc options (main);
  put list ('Hello, world!');
end;
</source>

== Примечания ==
{{примечания}}

== Литература ==
* [[American National Standards Institute|ANSI]] X3.53-1976 (R1998) Information Systems — Programming Language — PL/I
* ANSI X3.74-1987 (R1998) Information Systems — Programming Language — PL/I General-Purpose Subset
* [http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=12406 ISO 6160:1979 Programming languages — PL/1] {{Wayback|url=http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=12406 |date=20121025015647 }}
* [http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=12907 ISO/IEC 6522:1992 Information technology — Programming languages — PL/1 general purpose subset] {{Wayback|url=http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=12907 |date=20121025040655 }}
* Сборник задач по программированию на языке ПЛ/1: учебное пособие для вузов / Бухтияров А. М., Фролов Г. Д., Олюнин В. Ю.; Под ред. Н. А. Криницкого. — 3-е изд., испр. — {{М.}}: Наука, 1988. — 320 с. ISBN 5-02-013795-2.

== Ссылки ==
* {{cite web|url=http://schools.keldysh.ru/sch444/MUSEUM/LANR/pl.htm |title=PL/I |website=Виртуальном музее информатики |deadlink=1 |archiveurl=https://web.archive.org/web/20110831141833/http://schools.keldysh.ru/sch444/MUSEUM/LANR/pl.htm |archivedate=2011-08-31 }}
* [https://web.archive.org/web/20040602231400/http://www.users.bigpond.com/robin_v/pli_faq.htm FAQ по ПЛ/1]{{ref-en}}
* [https://web.archive.org/web/20080622220338/http://www-306.ibm.com/software/awdtools/pli/ Официальный сайт на сервере IBM]{{ref-en}}
* [https://web.archive.org/web/20090626093442/http://www.microfocus.com/products/OpenPLI/index.asp Компилятор Open PL/I]{{ref-en}}
* [http://pl1gcc.sourceforge.net/ pl1gcc.sourceforge.net] {{Wayback|url=http://pl1gcc.sourceforge.net/ |date=20080218073621 }}{{ref-en}} — фронтэнд PL/1 для [[GNU Compiler Collection]]

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

[[Категория:Языки программирования по алфавиту]]
[[Категория:Появились в 1964 году в США]]