Active Oberon

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск
OberonLogo.png
Active Oberon


Типизация:
статическая, сильная,
Дата появления:
2000
Разработчики:
Patrik Reali, B. Meyer, Brinch Hansen, Pieter Muller, Jurg Gutknecht (Юрг Гуткнехт)






Создан под влиянием:
Modula-2, Pascal, Oberon-2, Object Oberon, Component Pascal
Повлиял на:
Zonnon, Go

Актив Оберон — язык программирования высокого уровня, на операционной системе Bluebottle OS или A2 , написанной на этом же языке. Его цель — введение в язык свойств для выражения параллелизма посредством активных объектов (active objects). Это исследовательский проект, выполняемый группой проф. Гуткнехта (ETH, Цюрих).

Концепции языка[править]

В нём существенно расширен синтаксис, введены конструкции для описания классических «свойств» (property) с контролем чтения/записи, числовых типов с задаваемым размером в битах. Введена поддержка «активных объектов» (active object), обменивающихся сообщениями в формате, определяемом РБНФ-описанием, обработка исключений. Добавлены объектно-ориентированные расширения: указатель на безымянные типы записей, объектные типы, cвязанные с типом процедуры, инициализаторы, self, делегаты, «описания» (definition). Приняты конструкторы «статических модулей» (static module).

Совместимость[править]

Актив Оберон обратно совместим с языком Oberon. Поддерживает работу в Win32, Linux и на «голой» машине (PC), сосуществует с Java и .NET. Показал отличную эффективность в специфических областях (мультимедиа, повсеместный компьютинг).

Особенности[править]

  • Защита от одновременного доступа при помощи модификатора EXLUSIVE более читабельна, если методы принадлежат одной области видимости.
  • Важное отличие продиктовано решением позволить компилятору обрабатывать опережающие ссылки (forward reference).
  • Используется оператор AWAIT, концептуально простотой и элегантный.
  • Ключевое слово SELF может быть использовано в любом методе или в любой локальной процедуре метода объекта.
  • Делегаты подобны процедурным типам; они совместимы как с процедурами так и с методами, в то время как процедурные типы совместимы только с процедурами. Делегаты процедурных типов помечаются модификатором DELEGATE.
  • Описание (definition) — это синтаксический контракт, определяющий набор сигнатур методов.
  • Ключевое слово IMPLEMENTS используется для указания описаний, реализованных объектным типом. Объетный тип может реализовать несколько описаний.
  • Связи IMPORTS и REFINES используются для описания зависимостей статических модулей.
  • Тело объекта помечается модификатором ACTIVE. Во время размещения объекта так же размещается новый процесс, который исполняет тело параллельно; такой объект называется активным объектом (active object).
  • В язык был добавлен 64 битный знаковый целый тип HUGEINT.
  • Нетрассируемые указатели — это указатели, которые не отслеживаются сборщиком мусора.
  • Некоторые расширения из Oberon-2 были адаптированы для Active Oberon:
    • ASSERT
    • FOR
    • экспорт только для чтения
    • динамические массивы
    • Переменные указатели автоматически инициализируются значением NIL.

Влияние Active Oberon на другие языки[править]

Язык Zonnon является форком языка Active Oberon.

Ссылки[править]


См. также[править]