【文件属性】：
文件名称：typed-big-bang:打字球拍的大爆炸
文件大小：12KB
文件格式：ZIP
更新时间：2021-06-05 23:18:04
Racket
打字大爆炸
另见
(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
【文件预览】：
typed-big-bang-master
----typed()
--------big-bang.rkt(14KB)
--------test()
--------info.rkt(70B)
--------docs()
--------2htdp()
--------try-to-use-2htdp()
----info.rkt(221B)
----README.md(1KB)
----.gitignore(13B)