[Lio]

> I know that goes against a lot of the fundamentals in the language.

You're not the only person to reply with something like this but just to repeat, Ruby has had official gradual static typing support for 5 years now.

Gradual typing is fundermentally already part of Ruby.

Ruby could do with better static analysis tooling but people are being paid to work on that.

[khoury]

What do you mean with "gradual typing"? People want to know what data type a function takes and what a variable is. That's it really.

[Lio]

Gradual typing would be introducing static typing into an existing codebase.

Ideally you would want your entire code base statically typed but if it's a large legacy project realistically you might not be able to stop all development work to do that.

Ruby 3.x onwards provides static RBS definitions for the standard library and allows you to statically type your own code too.

So the statement:

> I know that goes against a lot of the fundamentals in the language

is not correct. It's not against the fundermentals of the language, static typing is already part of the current ruby release and has been for sometime.

> People want to know what data type a function takes and what a variable is. That's it really.

I agree and both Solargraph and Ruby-LSP provide that today, as does the IRB REPL.

Unfortutately we have two ways of expressing static types and neither is perfect IMHO. My hope is that a new format, RBS-Inline, will solve that and unite the community.

As well as the developer experience I hope that having static types availible at runtime will also allow performance optimisations.