Ssylka

Как создать объекты в Scheme?

Можно ли реализовать объектно-ориентированное программирование в функциональном языке Scheme? Статья показывает, что да, используя замыкания и макросы. Scheme не имеет встроенной поддержки ООП, но его модель вычислений на основе окружений позволяет создавать объекты как функции с внутренним состоянием, а также макросами можно расширять синтаксис языка для создания более наглядного ООП.
Как создать объекты в Scheme?
Изображение носит иллюстративный характер

Объекты создаются с помощью функций-конструкторов, которые возвращают замыкания, хранящие данные объекта (поля) и функции-методы для работы с этими данными. Диспетчер сообщений обрабатывает входящие сообщения, вызывая соответствующие методы. Макросы def-keys и defclass упрощают создание объектов. def-keys определяет символы-сообщения, а defclass создает конструктор с полями и методами, организуя объектную модель.

Пример реализации: счётчик с полями имени и значения, который может принимать сообщения для изменения и запроса своего состояния. При этом для каждого объекта в момент его создания, приходится создавать методы, обрабатывающие сообщения этому объекту. При этом методы ещё и занимают память, для каждого объекта. Таким образом объекты получаются большого объёма и медленно создаваемые.

Недостатки подхода: создание методов для каждого объекта, большой объём объектов и невозможность динамического изменения методов в работе программы. Несмотря на это, для небольших проектов такой простой подход вполне может оказаться достаточным. Существуют и более продвинутые решения на Scheme, но они будут рассмотрены в другой раз.


Новое на сайте