Is Sound Gradual Typing Dead? explores performance overheads of gradual typing. Typed Racket is improving however: https://news.ycombinator.com/item?id=11053861