This package provides typed wrappers for the How to Design Programs: 2nd Edition teachpacks. Unless otherwise documented, they all function identically to their untyped counterparts.
1 Typed big-bang
|(require typed/2htdp/universe)||package: 2htdp-typed|
clause = (on-tick tick-expr) | (on-tick tick-expr rate-expr) | (on-tick tick-expr rate-expr limit-expr) | (on-key key-expr) | (on-pad pad-expr) | (on-release release-expr) | (on-mouse mouse-expr) | (to-draw draw-expr) | (stop-when stop-expr) | (stop-when stop-expr last-scene-expr) | (record? r-expr) | (name name-expr)
Identical to the untyped equivalent, but requires an explicit type annotation to determine what type should be used for the world’s state. Also does not support networked universes, only local worlds.