如何为基于Beautiful Racket的自定义DSL bleir正确导入reader？

问题1解答 #

#lang <lang> 和 (module <name> <lang> ...) 语法确实语义等价，你遇到的报错是因为你写的bleir包的reader子模块实现错误：

• 当你使用#lang bleir时，Racket会优先加载bleir包的reader子模块，调用其中导出的read-syntax函数读取整个测试文件的内容，生成完整的模块语法树。
• 你当前的reader子模块只做了require br/quicklang和provide read-syntax，没有把输入端口的内容交给br/quicklang的读取逻辑处理，最终返回的语法树只有单独的42，没有包装成符合Racket模块规范的结构，所以触发了顶层语法错误。
• 而你用(module ...)写法时，Racket本身会先完成整个模块表达式的读取，再把模块体交给bleir的expander处理，绕开了reader实现错误的问题，所以可以正常运行。

修复方式是把main.rkt的reader子模块改为正确的实现：

(module+ reader
  (provide read-syntax)
  (require br/quicklang)
  (define (read-syntax path port)
    (br-read-syntax 'bleir path port)))

修改完成后你的#lang bleir测试文件就可以正常运行了。

问题2解答 #

#lang s-exp <lang>的双参数写法是特殊设计：s-exp是Racket内置的特殊语言处理器，它的reader逻辑会接收第二个参数作为目标语言，先用标准s表达式规则读取模块内容，再委托给目标语言的expander处理。
而br/quicklang没有做这种双参数的reader设计，它默认是作为独立的顶层语言使用的，你在后面加bleir的时候，br/quicklang的reader会把bleir当做模块顶层的普通标识符处理，自然会报未绑定的错误。
不需要修复这个写法，只要把你自己的bleir的reader实现改对，直接用#lang bleir即可满足需求。

问题3解答 #

s-exp是Racket内置的#lang语法特殊标记，不是一个普通的可导入库模块，没有对应的模块路径，所以直接(require s-exp)会找不到文件。
如果你要在自己的reader里复用s表达式的读取逻辑，不需要导入s-exp，直接用Racket内置的read-syntax函数即可，对应的reader子模块可以这么写：

(module+ reader
  (provide read-syntax)
  (require syntax/module-reader)
  (define read-syntax (make-module-reader
                        #:language 'bleir
                        #:read read
                        #:read-syntax read-syntax)))

内容的提问来源于stack exchange，提问作者Reb.Cabin