racket - 如何使 Typed Racket 的类型检查器更快？

Question

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

例如，从 The Typed Racket Guide 运行此代码

#lang typed/racket

(struct: pt ([x : Real] [y : Real]))

(: distance (-> pt pt Real))
(define (distance p1 p2)
  (sqrt (+ (sqr (- (pt-x p2) (pt-x p1)))
           (sqr (- (pt-y p2) (pt-y p1))))))

类型检查器需要 4-6 秒才能在我的电脑上工作(i7，4g ram)

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

我做错了什么吗？如何使类型检查器更快？

Answer 1

不幸的是，没有什么可以真正改变以使类型检查器运行得更快。如果您使用 #lang typed/racket/base而不是 #lang typed/racket ，事情可能会快一点。但是由于各种原因，Typed Racket 的类型检查器必须解决一些难题，因此速度并不快。