是否存在支持指定位宽整数类型的Scheme方言及类Lisp语言？

要实现固定位宽的有符号/无符号整数（8/16/32/64位）来模拟CPU寄存器，不管是Scheme方言还是其他类Lisp语言，都有可行的方案，以下是具体选项：

Scheme方言的实现方案 #

1. Racket #

Racket支持通过自定义reader宏快速实现带前缀的固定位宽整数字面量，同时也有灵活的类型系统支持位宽约束：

• 自定义字面量示例：你可以定义类似#u16#1234（16位无符号）、#s8#-42（8位有符号）的语法，通过define-readtable扩展阅读器：

(require racket/reader)
(define-readtable fixed-int-readtable
  (extend-readtable #f
    [#\u (lambda (ch port)
           (let* ([width (read port)]
                  [_ (read-char port)] ; 跳过#分隔符
                  [val (read port)])
             (bitwise-and val (sub1 (expt 2 width)))))]
    [#\s (lambda (ch port)
           (let* ([width (read port)]
                  [_ (read-char port)]
                  [val (read port)]
                  [mask (sub1 (expt 2 width))]
                  [signed-val (bitwise-and val mask)])
             (if (bitwise-bit-set? signed-val (- width 1))
                 (- signed-val (expt 2 width))
                 signed-val)))]))
;; 使用时切换阅读器
(parameterize ([current-readtable fixed-int-readtable])
  (eval (read (open-input-string "#u16#65536"))) ; 返回0，自动溢出
  (eval (read (open-input-string "#s8#128"))) ; 返回-128，符号扩展
)

• 原生类型补充：Racket的racket/fixnum提供固定位宽有符号整数，若需无符号或自定义位宽，结合bitwise-and和位掩码可手动实现溢出截断。

2. Chicken Scheme #

Chicken Scheme的numbers库提供了固定位宽整数的构造函数，虽无原生字面量前缀，但可封装成宏模拟字面量风格：

(import numbers)
;; 定义宏实现字面量式调用
(define-syntax u8
  (syntax-rules ()
    [(_ n) (uint8 n)]))
(define-syntax s16
  (syntax-rules ()
    [(_ n) (int16 n)]))

(u8 256) ; 返回0，自动溢出
(s16 32768) ; 返回-32768，符号扩展

运算时库会自动处理溢出/下溢，完全符合硬件寄存器的行为逻辑。

3. 跨Scheme通用方案 #

如果需要兼容多Scheme实现的代码，可手动封装固定位宽整数结构体，重载运算操作：

(define-record-type fixed-int
  (make-fixed-int value width signed?)
  fixed-int?
  (value fixed-int-value)
  (width fixed-int-width)
  (signed? fixed-int-signed?))

;; 辅助函数：截断值到位宽并处理符号
(define (truncate-value val width signed?)
  (let* ([mask (sub1 (expt 2 width))]
         [truncated (bitwise-and val mask)])
    (if (and signed? (bitwise-bit-set? truncated (- width 1)))
        (- truncated (expt 2 width))
        truncated)))

;; 加法运算示例
(define (fixed-add a b)
  (let* ([width (fixed-int-width a)]
         [signed? (fixed-int-signed? a)]
         [sum (+ (fixed-int-value a) (fixed-int-value b))])
    (make-fixed-int (truncate-value sum width signed?) width signed?)))

;; 使用示例
(define reg1 (make-fixed-int 255 8 #f)) ; 8位无符号255
(define reg2 (make-fixed-int 1 8 #f))
(fixed-int-value (fixed-add reg1 reg2)) ; 返回0，模拟溢出

类Lisp替代方案 #

1. Common Lisp #

Common Lisp是硬件模拟场景的热门选择，原生支持固定位宽整数类型，主流实现还支持扩展字面量：

• 标准类型系统：使用(unsigned-byte n)和(signed-byte n)类型声明，开启类型检查后运算会自动处理溢出（如SBCL中(declaim (optimize (safety 3)))）：

;; 声明变量为16位无符号整数
(declaim (type (unsigned-byte 16) reg))
(setf reg 65535)
(incf reg) ; 自动溢出为0

;; 转换值到位宽类型
(coerce 32768 '(signed-byte 16)) ; 返回-32768

• 扩展字面量：SBCL、CCL等实现支持自定义字面量前缀，比如#u16#65536直接生成16位无符号整数（溢出后为0），#s32#-2147483649生成32位有符号整数（下溢后为2147483647）。

2. Clojure #

Clojure提供原生固定位宽整数类型，结合无检查操作可完美模拟硬件溢出：

• 有符号类型：byte（8位）、short（16位）、int（32位）、long（64位），使用unchecked-add等函数触发溢出：

(unchecked-add (byte 127) 1) ; 返回-128，8位有符号溢出
(unchecked-add (short 32767) 1) ; 返回-32768，16位有符号溢出

• 无符号类型：可通过位掩码手动实现，或使用clojure.core.typed库的(UByte 8)、(UInt 16)等类型标注，配合类型检查确保行为符合预期：

;; 16位无符号加法
(defn uint16-add [a b]
  (bit-and (+ a b) 0xFFFF))

(uint16-add 65535 1) ; 返回0

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