If you used Typed Racket you get static typing checked at compile time ^1

1. https://docs.racket-lang.org/ts-guide/quick.html