←back to thread

RBS, Ruby’s new type signature language

(developer.squareup.com)
511 points mootrichard | 1 comments | 29 Jul 20 18:04 UTC | HN request time: 0.216s | source
Show context
welearnednothng ◴[29 Jul 20 19:28 UTC] No.23990654[source]▶
It's worth noting that while the article is coming from Square, this is an official Ruby project and is "Ruby 3’s new language for type signatures".

https://github.com/ruby/rbs

replies(2): >>23990992 #>>23991041 #
1. baweaver ◴[29 Jul 20 20:07 UTC] No.23990992[source]▶
This. RBS is the underlying language for defining type checkers. Sorbet and Steep both utilize it, and this allows future type checkers to evolve from a known-base instead of having to reinvent everything.