Simula-67

Simula-67 — это язык программирования, разработанный в 1967 году как расширение языка Simula I. Он считается первым языком, реализовавшим концепцию объектно-ориентированного программирования (ООП), включая классы, объекты, наследование и динамическое связывание. Simula-67 был создан для моделирования сложных систем, но его идеи оказали огромное влияние на развитие языков программирования в целом, включая C++, Java и Smalltalk.

История

Предшественники: Simula I

В начале 1960-х годов норвежские учёные Оле-Йохан Даль и Кристен Нюгорд из Норвежского вычислительного центра (Norsk Regnesentral) работали над задачами моделирования сложных систем, таких как очереди, транспортные потоки и производственные процессы. Для этого они разработали язык Simula I, который был представлен в 1962 году. Simula I базировался на синтаксисе ALGOL-60, но добавлял концепцию «активных процессов» (акторов), которые могли выполняться параллельно и взаимодействовать через события. Однако Simula I был скорее специализированным инструментом для моделирования, чем универсальным языком программирования.

Разработка Simula-67

В 1965 году Даль и Нюгорд начали работу над новым языком, который должен был объединить возможности моделирования с универсальными вычислительными средствами. Ключевым нововведением стала концепция класса как шаблона для создания объектов, объединяющего данные и методы. В 1967 году язык был официально представлен на конференции IFIP Working Group 2.1 в Осло. Первая реализация компилятора была завершена в 1968 году на машине UNIVAC 1107.

Распространение и влияние

Несмотря на инновационность, Simula-67 не получил широкого коммерческого распространения из-за сложности синтаксиса, требовательности к ресурсам и отсутствия мощной маркетинговой поддержки. Однако его идеи были подхвачены другими разработчиками. Алан Кей, создатель Smalltalk, признавал влияние Simula-67. Бьёрн Страуструп, создатель C++, прямо называл Simula-67 одним из главных вдохновителей, особенно в части классов и наследования. В 2001 году Даль и Нюгорд получили премию Тьюринга за разработку Simula.

Ключевые концепции

Классы и объекты

Simula-67 ввёл понятие класса как типа данных, который описывает структуру (атрибуты) и поведение (методы) объектов. Объект — это экземпляр класса, создаваемый во время выполнения. Классы могли содержать:

• Поля (переменные экземпляра);
• Методы (процедуры, работающие с данными объекта);
• Вложенные классы (классы, определённые внутри других классов).

Пример объявления класса в Simula-67: `` CLASS Point; BEGIN REAL X, Y; PROCEDURE MoveTo(REAL NewX, NewY); BEGIN X := NewX; Y := NewY; END; END; ``

Наследование

Simula-67 поддерживал одиночное наследование — механизм, при котором один класс (подкласс) может наследовать атрибуты и методы другого класса (суперкласса). Это позволяло создавать иерархии типов и повторно использовать код. Например, класс ColoredPoint мог наследовать от Point и добавлять поле Color.

Динамическое связывание

В Simula-67 была реализована виртуальная диспетчеризация — механизм, при котором вызов метода объекта определяется во время выполнения, а не на этапе компиляции. Это достигалось с помощью ключевого слова VIRTUAL перед объявлением метода. Если метод объявлен виртуальным, то при вызове через ссылку на суперкласс будет вызван метод подкласса, если он переопределён.

Корутины и параллелизм

Simula-67 сохранил механизм активных процессов из Simula I, реализованный через корутины. Класс мог быть объявлен как ACTIVE, что позволяло его объектам выполняться квазипараллельно, переключаясь между собой по событиям. Это было особенно полезно для моделирования систем с несколькими взаимодействующими сущностями.

Синтаксис и особенности

Базовый синтаксис

Simula-67 унаследовал блочную структуру ALGOL-60 с использованием ключевых слов BEGIN и END. Программа состояла из блоков, каждый из которых мог содержать объявления и операторы. Комментарии начинались с COMMENT или !.

Управляющие конструкции

• Условный оператор: IF ... THEN ... ELSE;
• Циклы: WHILE ... DO и FOR ... DO;
• Оператор выбора: INSPECT (аналог switch).

Работа с памятью

В Simula-67 использовалась автоматическая сборка мусора (garbage collection) для управления памятью объектов. Это было новаторским решением для того времени, так как большинство языков (например, C) требовали ручного управления памятью.

Пример программы

Ниже приведён пример простой программы на Simula-67, моделирующей движение точки:

``` BEGIN CLASS Point; BEGIN REAL X, Y; PROCEDURE MoveTo(REAL NewX, NewY); BEGIN X := NewX; Y := NewY; END; PROCEDURE Print; BEGIN OutText("Point at ("); OutReal(X, 2); OutText(", "); OutReal(Y, 2); OutText(")"); OutImage; END; END;

REF(Point) P; P :- NEW Point; P.MoveTo(10.0, 20.0); P.Print; END; ```

Применение

Моделирование и симуляция

Основной областью применения Simula-67 было дискретно-событийное моделирование. Язык использовался для моделирования:

• Транспортных систем (очереди на перекрёстках, расписания);
• Производственных процессов (конвейеры, запасы);
• Компьютерных сетей (трафик, протоколы);
• Социальных и экономических систем.

Научные исследования

Simula-67 применялся в академической среде для обучения концепциям ООП и моделирования. Многие университеты Европы и США использовали его в курсах по программированию и системному анализу.

Критика и ограничения

Сложность синтаксиса

Синтаксис Simula-67 был громоздким по сравнению с современными языками. Использование BEGIN и END для всех блоков, а также обязательное объявление типов делали код длинным и трудным для чтения.

Отсутствие стандартной библиотеки

В отличие от современных языков, Simula-67 не имел обширной стандартной библиотеки. Разработчикам приходилось создавать собственные реализации для работы с файлами, строками и графикой.

Производительность

Интерпретация и сборка мусора делали программы на Simula-67 медленнее по сравнению с компилируемыми языками того времени, такими как FORTRAN или ALGOL.

Наследие

Влияние на другие языки

Концепции Simula-67 легли в основу:

• C++ (классы, наследование, виртуальные функции);
• Java (объекты, сборка мусора);
• Smalltalk (чистая объектная модель);
• Python (классы, наследование).

Признание

В 2001 году Оле-Йохан Даль и Кристен Нюгорд были удостоены премии Тьюринга «за фундаментальный вклад в разработку языков программирования, в частности за создание Simula, который заложил основы объектно-ориентированного программирования».

Источники

• Оле-Йохан Даль, Кристен Нюгорд. «SIMULA: An ALGOL-Based Simulation Language» (1967).
• Бьёрн Страуструп. «The Design and Evolution of C++» (1994).
• Алан Кей. «The Early History of Smalltalk» (1993).
• Материалы конференции IFIP Working Group 2.1 (1967).
• Премия Тьюринга 2001 года: биография Даля и Нюгорда.