Today I learnt about Solargraph, an LSP for Ruby which includes an impressive amount of type inference and type checking! https://solargraph.org/guides/type-checking Type signatures are parsed from doc comments, similar to JSDoc with TypeScript.