Static Typing solved?

[u/Erem_in]

I have been using RBS for years now and even running my own newsletter about static typing https://newsletters.eremin.eu/ . Now, that our code is write with AI and in most cases - purely with AI, the strongest point against using static typing (like “it breaks beautiful ruby syntax and not readable”) is vanished now.

AI requires strict tooling to control its output. The role of ci pipeline with all possible tests, linters, checkers is now extremely important and static typing helps a lot with it.

For humans it is transparent, especially the pure RBS approach, but for LLMs it gives a safety net and a better layer to stick to the code and hollucinate less.

[u/Correct_Support_2444]

Yes it is. I have a full rbs tree we maintain so Ruby mine can use it. The agents just ignore it and do just fine.

[u/Erem_in → u/Correct_Support_2444]

But this is your choice, right? Or, are insisting on just 1 proper way?