Hi HN! I’m Hamachang, a Rubyist from Japan.
I’d like to share a project I’ve been working on for quite some time: Ruby-TI, a static type checker / type analyzer for mruby — now at major version 1.0!
Ruby-TI is written in Go and performs parse → type inference → type checking on mruby code. If you’re embedding mruby or writing mruby scripts, it can help catch type issues before runtime — something that’s often missing in dynamic languages like Ruby.
What Ruby-TI does
Parses mruby source code
Infers types and checks for type errors
Helps find type mismatches early
Includes editor integrations (e.g., LSP support) for better development experience
Why this matters
mruby is a lightweight, embeddable implementation of Ruby, great for scripting in applications or constrained environments. Catching type errors statically can save debugging time and increase confidence in your code — even without annotations.
Try it out
https://github.com/engneer-hamachan/ruby-ti
I’d love to hear feedback — issues, feature requests, or anything you find interesting!
