[Возврат на основную страницу раздела]
© 2003-2004 гг. Легалов А.И., Швец Д.А.
Документ в формате pdf (~420 кб)
Примечание. Данный документ хранится в формате pdf и доступен для скачивания по указанной выше ссылке.
Он относится к тем документам, которые постоянно будут изменяться в ходе дальнейшей работы.
В настоящий момент на сайте размещена версия от 13 февраля 2004 года.
Аннотация
О2М - язык программирования, расширяющий своего предшественника (Оберон-2) [1] механизмами инструментальной поддержки процедурно-параметрического программирования (ППП) [2, 3]. Основная цель разработки – экспериментальная проверка методов параметризации и их использование при создании эволюционно расширяемых программ. Сделана попытка сохранить преемственность, которая может быть нарушена совпадением новых ключевых слов с идентификаторами ранее написанных программ.
При формировании данного документа многое взято из описания языка программирования Оберон-2 в переводе С.З. Свердлова [4]. Заимствованы из него и переводы основных терминов англоязычного оригинала.
В О2М сохраняется поддержка объектно-ориентированного стиля предшественника: объект состоит из переменных абстрактного типа, содержащих данные, и связанных с ним процедур. Абстрактные типы данных заданы как расширяемые записи. Наряду с этим в О2М реализованы дополнительные абстракции: обобщения и обобщающие процедуры, которые поддерживают процедурно-параметрическую парадигму. Этот стиль позволяет непосредственно использовать множественный полиморфизм, частным случаем которого является объектно-ориентированный полиморфизм [5, 6].
Как и первоисточник, этот документ не является учебником по программированию. Он преднамеренно краток. Если о чем-то не сказано, то обычно сознательно: или потому, что это следует из других правил языка, или потому, что потребовалось бы определять то, что фиксировать для общего случая представляется неразумным. Предполагается, что более подробные объяснения и толкования будут сделаны в отдельных публикациях.
Литература
1. The Programming Language Oberon-2 H.Moessenboeck, N.Wirth. Institut fur Computersysteme, ETH Zurich July 1996.
2. Легалов А.И. Процедурно-параметрическая парадигма программирования. Возможна ли альтернатива объектно-ориентированному стилю? - Красноярск: 2000. Деп. рук. № 622-В00 Деп. в ВИНИТИ 13.03.2000. - 43 с.
3. Легалов А.И. Процедурно-параметрическое программирование (материал размещен по адресу: http://www.softcraft.ru/paradigm/ppp/).
4. Мёссенбёк Х., Вирт Н. Язык программирования Оберон-2 / Перевод Свердлова С.З. (материал размещен по адресу: http://www.uni-vologda.ac.ru/oberon/o2rus.htm ).
5. Легалов А.И. Мультиметоды и парадигмы. – Открытые системы, № 5 (май) 2002, с. 33-37.
6. Легалов А.И. Эволюция мультиметодов при процедурном подходе (материал размещен по адресу: http://www.softcraft.ru/coding/evp/)
[Возврат на основную страницу раздела]
|