[baweaver]

It is, and checkers like Steep and Sorbet can infer these types. We're currently playing with the idea of deriving from documentation like YARDoc as well.

[rattray]

https://github.com/AaronC81/sord is one attempt at this