Comment by mdavidn

Compiler errors help the chatbot find and fix problems. The equivalent in Ruby, RBS, isn't as widely adopted. Type annotations being in separate files is also inconvenient.

https://github.com/ruby/rbs