球拍阅读器宏

Question

有没有办法在Racket中制作简单的阅读器宏。 我的意思是像这样的概括：

(define-reader-syntax "'" quote)
; finds expressions that start with "'" and wraps them in `(quote ...)`
'(foo) ; => (quote (foo))
'foo ; => (quote foo)

我使用内置语法来明确我的意思。 我想用它做的一件事就是复制clojure的速记lambda (#(+ 1 %) 5) ; => 6 (#(+ 1 %) 5) ; => 6

看起来很容易定义一个“shorthand-lambda”宏并将“＃”前缀映射到它。

Answer 1

以下是如何实现速记lambda：

#lang racket

(define rt (make-readtable #f #\# 'non-terminating-macro
                           (λ (c in . _)
                             (define body (read in))
                             `(lambda (%) ,body))))
(parameterize ([current-readtable rt]
               [current-namespace (make-base-namespace)])
  (eval (read (open-input-string "(#(+ 1 %) 5)")))) ;; => 6

以下是如何实现您简单的例子，使得&相当于' ：

(define rt2 (make-readtable #f #\& #\' #f))

(parameterize ([current-readtable rt2]
               [current-namespace (make-base-namespace)])
  (eval (read (open-input-string "&(3 4 5)")))) ;; => '(3 4 5)

Answer 2

只看该引导进入readtables和读者的扩展来看看如何做到这一点。 该参考部分也很有用。 可读扩展比您的示例复杂一点，但它们非常强大。

针对您的具体问题， SRFI-26为Scheme提供了类似的语法，Sam Tobin-Hochstadt编写了一个花哨的应用程序 Racket宏，它实现了Scala对此的看法。