Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution

Authors:
Michael Furr;Jong-hoon (David) An;Jeffrey S. Foster;Michael Hicks
Affiliations:
University of Maryland, College Park;University of Maryland, College Park;University of Maryland, College Park;University of Maryland, College Park
Venue:
Proceedings for the 1st workshop on Script to Program Evolution
Year:
2009

Citing 2
Cited 0

Static type inference for Ruby

Proceedings of the 2009 ACM symposium on Applied Computing
Profile-guided static typing for dynamic scripting languages

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ruby is a popular dynamic scripting language that permits terse, expressive code, but provides no static checks to detect errors before running the program. To address this, we have developed Diamond-back Ruby (DRuby), a tool that blends the benefits of static and dynamic typing. This paper briefly describes the main features of DRuby, which we 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.