一种用于测试和理解 Ruby 代码的实验性 Ruby 类型级解释器
An experimental type-level Ruby interpreter for testing and understanding Ruby code
