Объектная система alterator.

В текущей нестабильной ветке alterator произошло большое изменение, там внедрены объекты. Зачем это нужно? Нужно это для того чтобы поддерживать код alterator было легче, чтобы убрать старые хаки, уменьшить количество cond и case, затрудняющее чтение. Что это такое? Читайте далее ....

Меченные функции

В Scheme, как во всяком уважающем себя функциональном языке, возможно построить структуру данных «пара» не пользуясь встроенными типами данных, а прямо на функциях. Например, это можно сделать так:
(define (my-cons x y) (lambda (cmd) (case cmd ((first) x) ((second) y))))) (define (my-car pair) (pair 'first)) (define (my-cdr pair) (pair 'second))
Однако всё не так хорошо как хотелось бы. Пользуясь только одними функциями невозможно сделать предикат pair?, то есть функцию, которая получив на вход некий объект, выдаёт истина только в случае если этот объект определённая выше структура «пара». Почему? Да очень просто. Вы не можете различать процедуры между собой. Ибо единственный способ различить подобные процедуры, это только запускать их, но результатом запуска может быть что угодно, включая попадание в вечный цикл. Говоря умнее, мы можем построить только полухарактеристическую функцию для множества пар.

Отсюда мораль, что требуется со стороны языка дополнительный способ «пометить» процедуры. Тогда мы могли бы гарантированно различать разные классы процедур между собой. Большинство реализаций Scheme поддерживают данный приём в том или ином виде.

Итак появляются первые две процедуры нашей объектной системы:

• set-instance! – «пометить функцию» (то что эта функция с side-effect исключительно особенность используемой на данный момент реализации Scheme)
• instance-of – получить «метку» процедуры. Для не процедурных типов данных возращается «псевдо-метка», например для строки – это <string>, для чисел – <number>.
• is-a? – предикат который помогает проверить какой разновидности та или иная процедура

Пример:
(define (func) #f) ; некоторая функция (set-instance! func 'my-function) ; пометили функцию (instance-of func) ==> вернёт my-function (instance-of (lambda() #f)) ==> вернёт <procedure> (is-a? "some-string" <string>) ==> вернёт #t

Ура! Теперь мы можем различать между собой процедуры, чем это хорошо для нас – увидите чуть позже.

Объекты – это замыкания для бедных

Эта цитата принадлежит Norman Adams и сейчас вы убедитесь насколько это верно ;)