如何创建可直接使用的Racket #lang？需完整可运行示例

1. 搭建包结构 #

只需要两个文件就能完成，在本地创建一个my-lang目录，里面包含：

• info.rkt：包描述文件，让Racket识别这是一个语言包
• main.rkt：语言核心实现文件

2. 编写info.rkt #

#lang info
(define collection "my-lang")
(define deps '("racket-base"))
(define lang-info '((#:lang "my-lang/main.rkt")))

3. 编写核心my-lang/main.rkt #

下面是一个最简可运行的自定义语言实现，包含必要的导出绑定和简单的自定义逻辑（示例中把自定义的print映射为Racket的displayln）：

#lang racket/base

; 必须导出#%module-begin，同时按需导出其他必要绑定
(provide #%module-begin
         #%top
         #%datum
         print)

; 自定义模块入口展开器，负责处理模块内的所有代码
(define-syntax #%module-begin
  (syntax-parser
    [(_ body ...)
     #'(#%plain-module-begin
        body ...)]))

; 自定义print函数，替换为displayln逻辑
(define (print v)
  (displayln v))

; 处理未定义标识符的默认逻辑
(define-syntax #%top
  (syntax-parser
    [(_ . id)
     (raise-syntax-error #f "未定义标识符" #'id)]))

; 处理字面量的默认逻辑
(define-syntax #%datum
  (syntax-parser
    [(_ . v)
     #'v]))

4. 安装并测试 #

• 进入my-lang目录，执行命令安装本地包：

  raco pkg install --link .
  

• 创建测试文件test.rkt：

  #lang my-lang
  (print "Hello from my-lang!")
  

• 运行测试文件：

  racket test.rkt
  

  会输出：Hello from my-lang!

5. 在REPL中使用 #

打开Racket REPL，直接输入以下内容即可使用自定义语言：

#lang my-lang
(print "REPL 运行正常！")

内容的提问来源于stack exchange，提问作者Nate