zoukankan      html  css  js  c++  java
  • 用syntaxrules实现definemacro(defmacro)

    scheme目前其实有至少三套宏系统:

    1. 完全hygiene的syntax-rules(define-syntax)
    2. 可以hygiene也可以dirty的syntax-case(define-syntax)
    3. 逐步被淘汰的lisp传统宏系统define-macro(有些实现里叫defmacro)
    syntax-rules的能力是受限的,不能引入新的syntax-object,只能写一些简单的宏.但是用syntax-rules写出来的宏肯定比用syntax-case或define-macro写的更优雅.

     syntax-case完全不受限制,扩展能力与传统lisp宏(defmacro)是一样的,但由于它自带模式匹配功能,所以写起来会更方便,至少quasiquote,unquote,unquote-splicing少了很多.

    因为syntax-case的强大能力,用它来实现define-syntax 也是很简单滴:


    (define-syntax define-macro
      (lambda (x)
        (syntax-case x ()
          ((define-macro (name . params) body1 body2 ...)
           #'(define-macro name (lambda params body1 body2 ...)))
          ((define-macro name expander)
           #'(define-syntax name
               (lambda (x)
                 (syntax-case x ()
                   [(name . args) ;(_ . args) more hygiene!!
                    (datum->syntax #'name (apply expander (syntax->datum #'args)))]))))))) 

    以上代码证明了scheme的清洁宏系统至少和传统lisp宏系统一样强大.

    那么,能不能用非清洁宏系统来实现清洁宏呢?这篇文章有介绍:Hygiene for the Unhygienic

  • 相关阅读:
    vue去除#号tomcat配置
    vscode配置
    git忽略想要提交的文件
    vue-cli配置移动端自适应
    远程调试工具 -- weinre
    将博客搬至CSDN
    错误:this dependency was not found:'element-ui/lib/theme-chalk/index.css'。。。。。。。
    win上java1.7和1.8版本修改环境变量无效.md
    mysql 事务
    mysql 函数
  • 原文地址:https://www.cnblogs.com/GodWroteinlisp/p/2420426.html
Copyright © 2011-2022 走看看