如何使打字球拍的类型检查更快？

Question

拍得真快。但是当我使用类型化的Racket并运行代码时，我发现类型检查器是缓慢的。

例如，从打字球拍指南运行此代码

#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，事情可能会更快一些。但是由于种种原因，类型化球拍的打字机必须解决一些困难的问题，因此并不是那么快。