> The low runtime error rate is due to the amount of stuff that Racket manages to catch at compile time compared to other dynamic languages and to some fairly extensive automated testing.

Interested to know if typed racket was used for this, and if so, what the experience was like!