top ← prev up next →

HtDP/2e Teachpacks for Typed Racket🔗 i

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.

1Typed big-bang 🔗 i

(require typed/2htdp/universe ) package: 2htdp-typed

syntax
( big-bang state-expr: state-typeclause...)

clause = (on-tick tick-expr)
| (on-tick tick-exprrate-expr)
| (on-tick tick-exprrate-exprlimit-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-exprlast-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.

top ← prev up next →