undefined | Better HN

0 pointsazinman25y ago0 comments

But as I mentioned the downside of this is that any mistakes don't become evident until at runtime. While the python way has the same problem (they're not compiled languages after all), by inlining to the existing source there's less changes for divergence to happen.

0 comments

ativzzz5y ago

Remember this is designed by companies that already have existing, large, ruby codebases. For them, it makes a lot of sense to be able to incrementally add typing without having to make changes to the underlying code itself.

joshuamorton5y ago

You can do both. Python allows for external .pyi files, for situations where you can't modify the underlying library (for example: it's written in C). There are tons of them: https://github.com/python/typeshed, but you can still add types to new code inline.

ativzzz5y ago

You can, but clearly the people designing this system have weighed the pros and cons and found that there would be more benefits to them to leave the source code unchanged.

1 more reply

mekster5y ago

That use case is not for most of us yet the way those companies with large code base goes into the core? I guess ruby itself already has a large code base, so it seems they got aligned but they forgot to align with the rest of the world.

mekster5y ago

So, why would a company with different use case than average ruby users implement stuff in the core to confuse many ruby users?

punnerud5y ago

You can run Python type check before runtime at the cost of start time, or better before GIT commit or push (Git Hooks)

Lio5y ago

Inline types are available as a feature of the Sorbet type checker.

j / k navigate · click thread line to collapse

0 comments

ativzzz5y ago

joshuamorton5y ago

ativzzz5y ago

You can, but clearly the people designing this system have weighed the pros and cons and found that there would be more benefits to them to leave the source code unchanged.

1 more reply

mekster5y ago

So, why would a company with different use case than average ruby users implement stuff in the core to confuse many ruby users?

punnerud5y ago

You can run Python type check before runtime at the cost of start time, or better before GIT commit or push (Git Hooks)

Lio5y ago

Inline types are available as a feature of the Sorbet type checker.

j / k navigate · click thread line to collapse