[felipeccastro]

Yes, I believe so because it uses global type inference. I would gladly add explicit types everywhere instead of this to use Crystal if it had decent tooling, because everything else about the language is really perfect.

[vram22]

Intriguing. You really didn't find any issues with it? Anything that you thought should / not be there, or some non-trivial bug?

[felipeccastro]

The language and stdlib feel like a more polished Ruby, though I haven't explored it in deep. The tooling, last I checked, is what's behind - the interpreter didn't work for simple apps, and the LSP is slow and full of bugs.

[renewedrebecca]

> I would gladly add explicit types everywhere instead of this to use Crystal

Agreed. Good IDE support can easily add explicit types too.