Typed Racket is getting steady development and focus but more closely resembles Scheme.