lowtype

I think they've missed a trick there, they could have used `|` like low-type does. e.g. def greet(name: String | "Hello"): String I know it's all subjective but I think that reads better and it's valid ruby. To be honest low-type with a static analysis tool would be my favourite syntax for this. https://github.com/low-rb/low_type

The problem I see with low-type[1] is that it lacks static analysis to evaulate type usage before runtime and, I don't think, it has any support for tooling so you can't get method usage information in the editor. I think that static analysis could be done with an extension to rubocop via Prism though. Same for documention features via Ruby-LSP tooling. I think if they worked on those they would very quickly pick up support as the syntax is quite nice. Until then I think that Sorbet, possibly using RBS-Inline, is probably the best solution. I'd give a notable second to YARD annotations and Solargraph. Solargraph is a much underated project IMHO. https://github.com/low-rb/low_type

Ugh more transpilers. I think low_type is a much more elegant solution: https://github.com/low-rb/low_type

_low_type_ is early days still, but I think this approach is clearly the future of ruby typing. If this gets baked into the language for full “compile” time support and minimal performance impact, it will be amazing: https://github.com/low-rb/low_type