I would love to use typed racket, but I cannot really use it in the environments I program for, which are largely commercial apps on Apple platforms and mobile. If I could, I would jump to it in a heartbeat.