Ruby has types.
In my opinion RBS files are a horrible design decision and split the Ruby community between a typing system that people actually want to use (Sorbet) and a typing system we’ll tolerate because it’s official but a pain in the ass (RBS), leaving both ecosystems to whither. Sad :-(
I am curious now: which language doesn't have types but has a separate compile-time?
TCL also seems to have a compiler: https://www.tcl.tk/software/tclpro/compiler.html