以前ちょっと触ったときは、
Typed Racket は寧ろ速度落ちてたけどな。