I think that was one of the purposes of Rackets typesystem, to fit idiomatic Racket code well enough that you wouldn't have to rewrite most of it to introduce s

I think that was one of the purposes of Rackets typesystem, to fit idiomatic Racket code well enough that you wouldn't have to rewrite most of it to introduce static typing to a Racket program.