• 3 times faster
• with some syntactic sugar and more coherence
• the copy/paste of the virtual environment of Ruby (IRB) is now as fast as expected.
• type can be defined with RBS and TypeProf is currently a kind of type inference and generate the prototype of the signature in RBS format

Nice !