Hacker News Reader

I thought TypeProf is really interesting but doesn't seems to get much attention.

I am also wondering if anyone is using RBS in production. Apart from big shops like Stripe / Shopify.

I believe Stripe and Shopify only use RBI in production since Stripe develops Sorbet [0] and Shopify develops Tapioca [1]. Both tools work exclusively with RBI files instead of RBS files afaik. I haven't heard of anyone using RBS in production.

[0] - https://sorbet.org/

[1] - https://github.com/Shopify/tapioca

I'm surprised there doesn't seem to be more interest in type-checking in the Rails community at large (maybe I'm wrong). TypeScript has been make-or-break when choosing a company I apply for.

Ruby's extremely rapid iteration cycle (e.g. by embedding pry for debugging and experimentation), good test coverage, and fast search tools like ripgrep and fzf alleviate a lot of the pain you might get from the lack of static types. There are also gems for schema validation that predate Ruby's type annotations and help with runtime type checking on data coming from the wire or disk.

rails does a lot of metaprogramming, which makes static type checking much harder

Reply on news.ycombinator.com