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

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

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

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

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


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

19857Острова как политический побег: от Атлантиды до плавучих государств Питера Тиля 19856Яйца, которые спасли предков млекопитающих от худшего апокалипсиса на Земле? 19855Могут ли омары чувствовать боль, и почему учёные требуют запретить варить их живыми? 19854Премия в $3 млн за первое CRISPR-лечение серповидноклеточной анемии 19853Почему сотрудники игнорируют корпоративное обучение и как это исправить 19852Тинтагель: место силы Артура или красивая легенда? 19851Голоса в голове сказали правду: что происходит, когда галлюцинации ставят диагноз точнее... 19850Куда исчезает информация из чёрных дыр, если они вообще исчезают? 19849Чёрная дыра лебедь Х-1 бросает джеты со скоростью света — но кто ими управляет? 19848Что увидели фотографы над замком Линдисфарн — и почему они закричали? 19847Почему антисептики в больницах могут создавать устойчивых к ним микробов? 19846Правда ли, что курица может жить без головы? 19845Как Оскар Уайльд использовал причёску как оружие против викторианской морали? 19844Назальный спрей против всех вирусов: как далеко зашла наука 19843«Я ещё не осознал, что мы только что сделали»: первая пресс-конференция экипажа Artemis II
Ссылка