[vraid]

Typed racket has both dynamic types and static typechecking.

https://docs.racket-lang.org/ts-guide/

Your objection doesn't really hold water..