创建后缀号码球拍

我正在尝试在 Racket 中试验我可以做的事情，并且我想在数字后加上字母。

对于这个例子，我只想代表10000 as 10K, and 1000000 as 1M.

有没有办法（用宏或其他方式）我可以扩展1M to:

(* 1 1000000)

或者有什么效果？

在球拍中，类似的东西10K are 身份标识，通常指的是变量。有两种方法可以将它们变成数字：

1：重新定义“未定义”标识符的含义

您可以通过定义一个未定义的标识符来重新定义要执行的操作#%top macro.

#lang racket
(require syntax/parse/define
         (only-in racket [#%top old-#%top]))

(define-syntax-parser #%top
  [(_ . x:id)
   #:when (id-has-a-k-at-the-end? #'x)
   (transform-id-into-number #'x)]
  [(_ . x)
   #'(old-#%top . x)])

然而，这有一个微妙的问题。如果程序中存在任何以 K 结尾的标识符或变量，它们可能会覆盖以这种方式编写的任何数字。您需要小心，不要意外覆盖原本应该是数字的内容。

2：制作一个阅读器扩展，将它们转换为数字而不是标识符

这将花费更多时间，但它更接近执行此操作的“正确方法”，因为它可以避免当变量末尾恰好有 K 时发生冲突。

扩展读者的更简单的方法之一是使用可读表 https://docs.racket-lang.org/reference/readtables.html?q=read-syntax%2Frecu。您可以创建一个扩展可读表的函数，如下所示：

;; Readtable -> Readtable
(define (extend-readtable orig-rt)
  ;; Char InputPort Any Nat Nat Nat -> Any
  (define (rt-proc char in src ln col pos)
    ....)
  ...
  (make-readtable orig-rt
    #f 'non-terminating-macro rt-proc
    ...))

要使用它来定义#lang语言，您需要将阅读器实现放入your-language/lang/reader.rkt。这就是number-with-k/lang/reader.rkt，其中number-with-k目录作为单个集合包安装（raco pkg install path/to/number-with-k).

带 k 的数字/lang/reader.rkt

#lang racket

(provide (rename-out [-read read]
                     [-read-syntax read-syntax]
                     [-get-info get-info]))

(require syntax/readerr
         syntax/module-reader)

;; Readtable -> Readtable
(define (extend-readtable orig-rt)
  ;; Char InputPort Any Nat Nat Nat -> Any
  (define (rt-proc char in src ln col pos)
    ....)
  ...
  (make-readtable orig-rt
    #f 'non-terminating-macro rt-proc))

;; [X ... -> Y] -> [X ... -> Y]
(define ((wrap-reader rd) . args)
  (parameterize ([current-readtable (extend-readtable (current-readtable))])
    (apply rd args)))

(define-values [-read -read-syntax -get-info]
  (make-meta-reader 'number-with-k
                    "language path"
                    lang-reader-module-paths
                    wrap-reader
                    wrap-reader
                    identity))

主要工作是填写....中的洞extend-readtable功能。例如，您可以让它识别以结尾的标识符K像这样：

;; Readtable -> Readtable
(define (extend-readtable orig-rt)
  ;; Char InputPort Any Nat Nat Nat -> Any
  (define (rt-proc char in src ln col pos)
    (define v (read-syntax/recursive src in char orig-rt #f))
    (cond
      [(and (identifier? v) (id-has-a-k-at-the-end? v))
       (transform-id-into-number v)]
      [else
       v]))

  (make-readtable orig-rt
    #f 'non-terminating-macro rt-proc))

完成此操作后，您就拥有了number-with-k作为包安装的目录，您应该能够使用#lang number-with-k像这样：

#lang number-with-k racket

(+ 12K 15)
; => 12015