Tests to the Left of Me, Types to the Right: How Not to Get Stuck in the Middle of a Ruby Execution

Ruby is a popular dynamic scripting language that permits terse, expressive code, but provides no static checks to detect errors be-fore running the program. To address this, the authors have developed Diamond-back Ruby (DRuby), a tool that blends the benefits of static and dynamic typing. This paper brie y describes the main features of DRuby, which they will present in a tool demonstration. The presentation will concentrate on the development of a small, statically typed Ruby program, illustrating how DRuby might be used in practice. The audience will learn about some of the practical design decisions that went into DRuby, and how to use it to develop a type-safe Ruby program.