A Static Type Analyzer of Untyped Ruby Code for Ruby 3
summary
A static analyzer called Type Profiler executes Ruby code at the type level using abstract interpretation to generate RBS-style signatures and flag unknowns. It produces prototype signatures (unions when control flow forks), is applied to Ao.rb (~300 lines) and Optcarrot (~5,000 lines), finds many fields and methods but misses untested paths and unknown builtins, cannot handle dynamic send/eval well, and requires test‑integration and manual fixes; open source.
AI-written summary · about
chapters (3)
- 0:00RUBYCONF 2019
- 3:04Ruby Signature The standard type signature format for stdlib and gems - Type Profiler A type analysis for non-annotated Ruby code
- 14:42[WIP] A tool to test RBS definitions by dynamic type checking
related talks
28mA Plan towards Ruby 3 Types
22mEnjoy Ruby Programming in IDE and TypeProf
53mAn introduction to typed Ruby programming
32mThe State of Ruby 3 Typing
39mType Checking Ruby Programs with Annotations
37mChecking Your Types: An Overview of Ruby's Type System
36mAn introduction to typed Ruby programming
37mTypes and Ruby Programming Language