Каковы некоторые вещи, для которых Вы использовали макросы Схемы? [закрытый]

Я начну отвечать на последний вопрос. Когда использовать макрос вместо функции. Макросы делают вещи, функции не могут, и функции делают вещь, макросы не могут, таким образом, будет трудно смешать их, но давайте пойдем глубже.

Вы используете функции, когда Вы хотите оцененные аргументы и макросы, когда Вы хотите неоцененные аргументы. Это не очень полезно, не так ли? Вы используете макросы, когда Вы хотите записать что-то по-другому, когда Вы видите шаблон, и Вы хотите абстрагировать. Например: Я определяю три функции, вызванные нечто - создают, процесс нечто и нечто - уничтожают для различных значений нечто и с подобными телами, где единственное изменение является нечто. Существует шаблон, но также высокого уровня для функции, таким образом, Вы создаете макрос.

В моем скромном опыте макросы в Схеме к используемому так же, как в другом Шепелявит, как язык Common LISP или Clojure. Я предполагаю, что это - доказательство, что, возможно, гигиенические макросы не являются такой хорошей идеей, и здесь я не согласился бы с Paul Graham о почему. Это - не потому что иногда Вы хотите быть грязны (антисанитарный), но потому что гигиенические макросы заканчивают тем, что были сложными или замысловатыми.

Автоматы через бумагу Макросов представляют жемчуг функционального программирования при реализации конечных автоматов через макросы в Схеме.

Книга Обоснованный Интриган заканчивается полной макрооснованной реализацией miniKanren, язык логического программирования, используемый в книге. Эта работа представляет miniKanren и его реализацию более официально и кратко, чем в книге.

Практический язык Common LISP, Peter Seibel, имеет хорошее введение в макросы. На Lisp, Paul Graham, мог бы быть хороший источник более сложных примеров. Кроме того, имейте взгляд на встроенные макросы в, скажем, языке Common LISP.

Макросы необходимы для реализации новых управляющих структур и новых обязательных конструкций.

Таким образом ищите эти виды конструкций по http://planet.plt-scheme.org. В PLaneT Вы оба просматриваете документацию и код.

Примеры для новых управляющих структур:

http://planet.plt-scheme.org/package-source/soegaard/control.plt/2/0/planet-docs/manual/index.html

Для нахождения примеров новых обязательных форм ищите макросы, которые начинаются "с -". Один полезный пример найден в math.plt также от PLaneT.

  ; Within a (with-modulus n form1 ...) the return values of
  ; the arithmetival operations +, -, * and ^ are automatically
  ; reduced modulo n. Furthermore (mod x)=(modulo x n) and
  ; (inv x)=(inverse x n).

  ; Example: (with-modulus 3 (^ 2 4)) ==> 1

  (define-syntax (with-modulus stx)
    (syntax-case stx ()
      [(with-modulus e form ...)
       (with-syntax ([+   (datum->syntax-object (syntax with-modulus) '+)]
                     [-   (datum->syntax-object (syntax with-modulus) '-)]
                     [*   (datum->syntax-object (syntax with-modulus) '*)]
                     [^   (datum->syntax-object (syntax with-modulus) '^)]
                     [mod (datum->syntax-object (syntax with-modulus) 'mod)]
                     [inv (datum->syntax-object (syntax with-modulus) 'inv)])
         (syntax (let* ([n e]
                        [mod    (lambda (x)   (modulo x n))]
                        [inv    (lambda (x)   (inverse x n))]
                        [+      (compose mod +)]
                        [-      (compose mod -)]
                        [*      (compose mod *)]
                        [square (lambda (x) (* x x))]
                        [^      (rec ^ (lambda (a b)
                                         (cond
                                           [(= b 0)   1]
                                           [(even? b) (square (^ a (/ b 2)))]
                                           [else      (* a (^ a (sub1 b)))])))])
                   form ...)))]))

Примером более усовершенствованного макроса, который не является скрытой формой лямбды, является макрос языка Common LISP со слотами, который заставляет объектный доступ слота быть похожим на обычный переменный доступ:

(with-slots (state door) car
  (when (eq state :stopped)
    (setq state :driving-around)
    (setq door :closed)))

Обратите внимание, что это не то же, столь же обязательное, слот оценивает локальным переменным и получающий доступ к ним, как со слотами позволяет Вам изменять слоты посредством SETQ и сразу видеть внешние изменения.

Макросы схемы позволили Вам добавить опции, которые авторы языка оригинала не включали сами; это - целая философия позади макросов.

Вот крошечный пример: Схема PLT обеспечивает язык для записи презентаций под названием Слайд-шоу. Я использовал макросы для соединения номера слайда со слайдом так, чтобы я мог более легко управлять ими.

У меня был a curry макрос, когда я раньше делал много схемы на моей ладони. Это было довольно удобно.

Я использую их, когда процедуры не достаточны.

Я написал макрос, который предоставляет инфиксный синтаксис. Ничего особенного; без приоритета. Хотя в целом меня устраивает префиксный синтаксис, я предпочитаю инфиксные для <и>.