Typed Big Bang

Reminder: you need the 2htdp-typed package installed.

Differences

• The type of the model must be given in the big-bang.

• The clause for the draw function is to-draw not on-draw.

• The last argument to a mouse handler is a Mouse-Event but the last argument to the key handler is just a String.

    (: draw-circle (-> Real Image))
    (define (draw-circle n) (circle n "solid" "blue"))
  
    (big-bang 5 : Number
      (on-tick add1 0.2)
      (to-draw draw-number 300 200))
  

Limitations

As of this writing, the limitations I am aware of are:

• You cannot stop-with - you must use a stop-when clause in the big-bang.