Rsense Knows Your Code
summary
Rsense provides static analysis for Ruby to enable accurate type inference, code completion, and finding definitions, aiming to support refactorings and static bug-finding without running code. The talk explains how Rsense implements these features, how to use it in daily Ruby development, planned future capabilities, and opportunities to contribute to the project.
AI-written summary · about
chapters (16)
- 0:00Intro
- 1:14Rsense is a static-analysis, type- inference tool for Ruby code.
- 1:52I wanted Ruby code completion in Sublime Text.
- 3:21CHALLENGE ACCEPTED
- 3:48Difficult to install, only works on 1.8 syntax.
- 5:30Use the source!
- 6:40The Cartesian Product Algorithm: Simple and precise Type Inference Of Parametric Polymorphism
- 8:41The line of communication
- 9:02Rsense is implemented with a variation on the Cartesian Product Algorithm (CPA).
- 10:00Abstract Syntax Tree
- 13:48Abstract Interpreter
- 14:12Constraint Propagation
- 15:24This would be almost enough, however, Ruby's dynamic metaprogramming feature does mean that a small subset of valid Ruby expressions cannot be type
- 17:48Where does Rsense stand today?
- 18:03Sense support for TextMate 2
- 20:20RSense needs YOU!
related talks
16mBlue Ridge Ruby 2026 - Sponsor Typesense by Jeremy Smith
22mEnjoy Ruby Programming in IDE and TypeProf
53mAn introduction to typed Ruby programming
43m"Ruby Smells"
32mSAST and Sensibility: A Rubyist’s Guide to Static...
32mThe State of Ruby 3 Typing
39mIDE development with Ruby
22mStatic typing with RBS in Ruby