typed-big-bang:打字球拍的大爆炸

打字大爆炸 另见 (require typed/big-bang) 这不会降低 2htdp/universe 中 big-bang 的替代品。 它提供了一个函数，而不是宏，该函数具有#:on-tick、#:to-draw 等的关键字参数。 你还必须提供一个world? 谓词，并使用（inst big-bang World）。 一个示例世界程序： #lang typed/racket (require typed/big-bang typed/2htdp/image) (define-type World Integer) (: main : [World -> World]) (define (main t) ((inst big-bang World) t exact-integer? #:on-tick add1 #:to-d