错误原因 #

你遇到的类型检查错误，核心问题在于Typed Racket中cons的默认类型推断行为：
默认情况下，cons会被推断为同构列表的构造函数，它的类型是(-> a (Listof a) (Listof a))——这意味着它期望第一个参数是某个类型a，第二个参数是a类型的列表，最终返回a类型的列表。

但你的代码里：

• 第一个参数是'wwww（类型为Symbol）
• 第二个参数是"aaa"（类型为String）
• 你声明的返回类型是(Pairof Symbol String)（异构序对，而非同构列表）

这就和cons默认的类型约束完全冲突，所以类型检查器报错了。

修复方法 #

要让cons生成异构序对，你需要明确告诉类型检查器使用cons的异构序对版本（类型为(-> a b (Pair a b))，Pairof是Pair的别名，两者通用）。有两种常见的写法：

方法1：显式实例化cons的类型

通过inst关键字指定cons的两个类型参数，直接生成适配Symbol和String的版本：

(: f1 : -> (Pairof Symbol String))
(define (f1) ((inst cons Symbol String) 'wwww "aaa"))

方法2：用ann标注表达式的类型

给cons表达式加上类型标注，让类型检查器知道你要的是异构序对：

(: f1 : -> (Pairof Symbol String))
(define (f1) (ann (cons 'wwww "aaa") (Pairof Symbol String)))

两种写法都能解决问题，你可以根据自己的习惯选择。

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