Racket 如何制作打字球拍'；s类型检查器更快？

球拍很快。但是，当我使用键入的Racket并运行代码时，我发现类型检查器的速度很慢

例如，从运行此代码

#lang打字/拍子
（结构：pt（[x:Real][y:Real]））
（：距离（->pt实际值））
（定义（距离p1 p2）
（sqrt（+（sqr（-（pt-x p2）（pt-x p1）））
（sqr（-（pt-y p2）（pt-y p1()()))）

类型检查器需要4-6秒才能在我的计算机上工作（i7，4g ram）

我试了一台不同的电脑，结果都一样

---

我犯了什么错误吗？如何使类型检查器运行得更快？

不幸的是，没有任何东西可以真正更改以使类型检查器运行得更快。如果使用

#lang-typed/racket/base

而不是

#lang-typed/racket

，速度可能会快一点。但由于各种原因，打字球拍的打字检查器必须解决一些难题，因此速度不是很快