如何编写无需修改即可兼容Untyped Racket与Typed/Racket的代码？

你提到的手动注释/取消注释语法定义的方式确实繁琐，其实可以通过条件宏定义实现无需修改代码就能在两种环境下运行的效果。核心思路是利用Racket的cond-expand宏，在编译时自动检测当前所处的方言环境，动态决定是否定义:为无操作语法。

最终实现代码 #

#lang racket ; 切换为#lang typed/racket时无需修改其他内容

(cond-expand
  ; 如果当前是Typed Racket环境，什么都不做（用内置的:语法）
  [typed-racket]
  ; 如果是Untyped Racket环境，定义:为忽略参数的无操作宏
  [else
   (define-syntax : (syntax-rules () ((_ id type) (void))))])

; 类型注解在两种环境下都能正确处理
(: fact (-> Integer Integer))
(define (fact n)
  (if (zero? n)
      1
      (* n (fact (sub1 n)))))

工作原理 #

1. 环境检测：cond-expand是Racket的编译期条件判断宏，Typed Racket会自动注册typed-racket特征标识，因此我们可以通过它区分环境。
2. 无操作宏定义：在Untyped Racket环境中，:会被定义为一个不做任何实际操作的宏（展开为(void)），这样类型注解代码会被直接忽略。
3. 原生语法复用：在Typed Racket环境中，cond-expand会跳过自定义宏的定义，直接使用语言内置的:类型注解语法，确保类型检查正常工作。

使用方式 #

• 当需要在Untyped Racket中运行时，保持#lang racket即可；
• 当需要切换到Typed Racket时，仅需将#lang行改为#lang typed/racket，无需修改其他任何代码。

这种方案完全消除了手动修改代码的需求，同时保持了两种环境下的代码正确性。

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