Можно ли реализовать объектно-ориентированное программирование в функциональном языке Scheme? Статья показывает, что да, используя замыкания и макросы. Scheme не имеет встроенной поддержки ООП, но его модель вычислений на основе окружений позволяет создавать объекты как функции с внутренним состоянием, а также макросами можно расширять синтаксис языка для создания более наглядного ООП.
Объекты создаются с помощью функций-конструкторов, которые возвращают замыкания, хранящие данные объекта (поля) и функции-методы для работы с этими данными. Диспетчер сообщений обрабатывает входящие сообщения, вызывая соответствующие методы. Макросы
Пример реализации: счётчик с полями имени и значения, который может принимать сообщения для изменения и запроса своего состояния. При этом для каждого объекта в момент его создания, приходится создавать методы, обрабатывающие сообщения этому объекту. При этом методы ещё и занимают память, для каждого объекта. Таким образом объекты получаются большого объёма и медленно создаваемые.
Недостатки подхода: создание методов для каждого объекта, большой объём объектов и невозможность динамического изменения методов в работе программы. Несмотря на это, для небольших проектов такой простой подход вполне может оказаться достаточным. Существуют и более продвинутые решения на Scheme, но они будут рассмотрены в другой раз.
Изображение носит иллюстративный характер
Объекты создаются с помощью функций-конструкторов, которые возвращают замыкания, хранящие данные объекта (поля) и функции-методы для работы с этими данными. Диспетчер сообщений обрабатывает входящие сообщения, вызывая соответствующие методы. Макросы
def-keys
и defclass
упрощают создание объектов. def-keys
определяет символы-сообщения, а defclass
создает конструктор с полями и методами, организуя объектную модель. Пример реализации: счётчик с полями имени и значения, который может принимать сообщения для изменения и запроса своего состояния. При этом для каждого объекта в момент его создания, приходится создавать методы, обрабатывающие сообщения этому объекту. При этом методы ещё и занимают память, для каждого объекта. Таким образом объекты получаются большого объёма и медленно создаваемые.
Недостатки подхода: создание методов для каждого объекта, большой объём объектов и невозможность динамического изменения методов в работе программы. Несмотря на это, для небольших проектов такой простой подход вполне может оказаться достаточным. Существуют и более продвинутые решения на Scheme, но они будут рассмотрены в другой раз.