Компонентный Паскаль
Component Pascal | |
---|---|
Класс языка | императивный, структурный, модульный,компонентный, объектный |
Появился в | 2001[1] |
Автор | Oberon Microsystems |
Система типов | сильная, статическая |
Испытал влияние | Цепочка наследования: Паскаль → Модула → Модула-2 → Оберон → Оберон-2 → |
Компонентный Паскаль (англ. Component Pascal) — язык программирования c парадигмой компонентно-ориентированного программирования. Создан на основе языка Оберон-2 компанией Oberon microsystems, Inc. Является прямым наследником языка Паскаль[2].
Синтаксис языка
Основные уточнения Компонентного Паскаля по сравнению с Обероном-2 касаются следующего:
- Главная идея уточнений по сравнению с Обероном-2 была в том, чтобы дать проектировщику компонентного каркаса (т.е. интерфейсов модулей, определяющих абстрактные классы для конкретной проблемной области) более полный контроль над её проектируемыми свойствами в плане безопасности[3]. Введены специальные атрибуты для типов (ABSTRACT, EXTENSIBLE, LIMITED)[1] и методов (ABSTRACT, EMPTY, EXTENSIBLE)[1], что позволяет, во-первых, статически контролировать согласованность иерархий наследования и тем самым по сути восстановить принцип тотальной статической типизации. Во-вторых, автор программной компоненты (группы модулей) теперь может разрешать или запрещать модулям-клиентам расширять предлагаемые им типы.
- Модернизирована несколько устаревшая система основных типов Оберона: теперь набор основных типов Компонентного Паскаля является надмножеством[4] для основных типов языка Java. Основные «рабочие» типы INTEGER, REAL и CHAR соответствуют 32-, 64- (т. н. двойная точность) и 16-(Unicode)-битовым переменным, что позволяет уменьшить разнообразие основных типов, реально используемых в большинстве случаев; использование других типов (LONGINT, SHORTREAL, SHORTCHAR и т. д.) ограничивается специальными приложениями.
- Добавлены базовые средства для работы с цепочками литер (неявный тип String), что вместе со стандартным модулем Strings в системе программирования BlackBox делает Компонентный Паскаль более удобным, чем Паскаль или классический Оберон, для работы со строками. Цепочки литер представляются массивами литер (ARRAY OF CHAR или ARRAY OF SHORTCHAR), причем значением считается последовательность литер до первого вхождения специальной литеры-ограничителя 0X. Цепочки литер можно сравнивать (подразумевается лексикографическое сравнение) и складывать (конкатенация). Конструкция a := b$ позволяет скопировать в массив литер a цепочку, хранящуюся в массиве литер b (включая литеру-ограничитель 0X), даже если присваивание a := b запрещено (например, из-за разной длины массивов a и b).
Полное описание синтаксиса языка в расширенной форме Бэкуса-Наура приведено на страницах Сообщения о языке Компонентный Паскаль[1]. Оно содержит 34 грамматических выражения, что лишь на одно больше чем для Oberon-2.
Реализации компиляторов для Компонентного Паскаля
BlackBox Component Builder
Среда разработки BlackBox Component Builder (Блэкбокс) разработана в компании Oberon microsystems Inc. (Швейцария) и в стабильной версии доступна для ОС Microsoft Windows, в альфа-версии — для ОС на основе GNU/Linux (Debian, Ubuntu), а также FreeBSD и OpenBSD. Блэкбокс выпускается под лицензией BSD-2-Clause. Среда разработки включает в себя: текстовый редактор исходного кода, компилятор, среду поддержки выполнения (загрузчик модулей, сборщик мусора), профилировщик, сборщик exe, dll, elf и so, а также набор готовых компонентов для быстрой разработки приложений (создания диалоговых окон, интерактивной графики, составных документов, а также интерфейс для обращения к WinApi, WinOle, COM; подсистему для работы с базами данных, протоколами передачи данных TCP/IP, V24). Версия для Microsoft Windows хорошо подходит для разработки в рамках технологии OLE. Компилятор и каркас «шлифуются» с 1993 года, и в настоящий момент[когда?] поддерживается и развивается сообществом пользователей (BlackBox Framework Center, OberonCore, командой кросс-платформенной сборки). В дистрибутив встроена документация и набор примеров. Выпущено несколько учебников, посвященных работе с Блэкбоксом. Блэкбокс полностью поддерживает юникод, в том числе (в последних версиях) юникодные идентификаторы для модулей, процедур, констант, типов и переменных.
Gardens Point Component Pascal
Gardens Point Component Pascal[5][6][7] — ещё один компилятор для языка Компонентный Паскаль, выполненный в австралийском Квинслендском Технологическом Университете[8] (место работы сооснователя Oberon microsystems Клеменса Шиперского до его перехода в Microsoft Research). Имеющиеся ограничения: нет указателей на функции и нет доступа к не-локальным переменным во вложенных процедурах[9]. Компилятор gpcp Квинслендского Технологического Университета имеет версию как для среды .NET, так и для виртуальной Java-машины (JVM)[10]. Компилятор написан на Компонентном Паскале[9]. Здесь же, Компонентный Паскаль был интегрирован в Visual Studio[11] и в межплатформенную среду разработки Eclipse[11].
Примечания
- ↑ 1,0 1,1 1,2 1,3 Сообщение о языке Компонентный Паскаль (недоступная ссылка). Дата обращения: 21 августа 2012. Архивировано 16 августа 2012 года.
- ↑ Цепочка наследования: Паскаль → Модула → Модула-2 → Оберон → Оберон-2 → Компонентный Паскаль
- ↑ Ткачёв Ф.В. Краткая история Паскаля Архивная копия от 12 марта 2013 на Wayback Machine // МИР ПК. Диск. 2005. С. 2–5.
- ↑ The Evolution of Oberon-2 to Component Pascal (Технический отчет Oberon Microsystems) (2001), раздел "Specified Domains of Types" . Дата обращения: 25 августа 2012. Архивировано 12 марта 2013 года.
- ↑ Gough K.J. Stacking them up: a comparison of virtual machines // Proceedings 6th Australasian Computer Systems Architecture Conference. ACSAC 2001. IEEE Comput. Soc. P. 55-61.
- ↑ Gough K.J. Parameter passing for the Java virtual machine // Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518). IEEE Comput. Soc. P. 81-87.
- ↑ Gough J. Virtual Machines, Managed Code and Component Technology // 2005 Australian Software Engineering Conference. Ieee. P. 5-12.
- ↑ Component Pascal on .NET (недоступная ссылка). Дата обращения: 1 февраля 2011. Архивировано 18 февраля 2011 года.
- ↑ 9,0 9,1 John Gough, Queensland University of Technology.The .NET Runtime as a Compiler Target (недоступная ссылка). Дата обращения: 2 февраля 2011. Архивировано 16 февраля 2011 года.
- ↑ Download Gardens Point Component Pascal (недоступная ссылка). Дата обращения: 2 февраля 2011. Архивировано 20 августа 2006 года.
- ↑ 11,0 11,1 Component Pascal for IDEs (недоступная ссылка). Дата обращения: 1 февраля 2011. Архивировано 18 февраля 2011 года.
Литература
- Компания Oberon microsystems. «Сообщение о языке Компонентный Паскаль», перевод Ф. В. Ткачева
- Никлаус Вирт. Алгоритмы и структуры данных. Новая версия для Оберона. — ДМК Пресс, 2010. — 272 с. — 1000 экз., примеры к книге (для BlackBox Component Builder), английский оригинал
- Никлаус Вирт. Построение компиляторов. — ДМК Пресс, 2010. — 192 с. — 1000 экз., примеры и дополнительные материалы к книге плюс обновлённый английский оригинал на сайте OberonCore
- Виталий Потопахин. Современное программирование с нуля!. — ДМК Пресс, 2011. — 240 с. — 1000 экз. — ISBN 978-5-94074-665-2.
- Виталий Потопахин. Современный самоучитель по алгоритмам. — ДМК Пресс, 2012. — 320 с. — 500 экз. — ISBN 978-5-94074-804-5. (старое издание Виталий Потопахин. Искусство алгоритмизации. — ДМК Пресс, 2011. — 320 с. — 1000 экз. — ISBN 978-5-94074-621-8.)
Ссылки
- Oberon microsystems, Inc.
- Component Pascal в каталоге ссылок Curlie (dmoz) (англ.)
- Языки программирования по алфавиту
- Языки программирования, появившиеся в 2001 году
- Процедурные языки программирования
- Структурные языки программирования
- Объектно-ориентированные языки программирования
- Языки программирования платформы .NET
- Языки программирования семейства Оберона
- Языки программирования с автоматическим управлением памятью