4 ms·

It's not an either-or. Typed Racket is a statically typed language, and students would be welcome to use it.