Typed racket has both dynamic types and static typechecking. https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/ Your objection does

Typed racket has both dynamic types and static typechecking. https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/ Your objection doesn't really hold water..