The ruby type checker

Authors:
Brianna M. Ren;John Toman;T. Stephen Strickland;Jeffrey S. Foster
Affiliations:
University of Maryland, College Park;University of Maryland, College Park;University of Maryland, College Park;University of Maryland, College Park
Venue:
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Year:
2013

Citing 10
Cited 0

Applying "Design by Contract"

Computer
RPython: a step towards reconciling dynamically and statically typed OO languages

Proceedings of the 2007 symposium on Dynamic languages
The design and implementation of typed scheme

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static type inference for Ruby

Proceedings of the 2009 ACM symposium on Applied Computing
Thorn: robust, concurrent, extensible scripting on the JVM

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Profile-guided static typing for dynamic scripting languages

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Contracts for first-class classes

Proceedings of the 6th symposium on Dynamic languages
Dynamic inference of static types for ruby

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards a type system for analyzing javascript programs

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Towards type inference for javascript

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the Ruby Type Checker (rtc), a tool that adds type checking to Ruby, an object-oriented, dynamic scripting language. Rtc is implemented as a Ruby library in which all type checking occurs at run time; thus it checks types later than a purely static system, but earlier than a traditional dynamic type system. Rtc supports type annotations on classes, methods, and objects and rtc provides a rich type language that includes union and intersection types, higherorder (block) types, and parametric polymorphism among other features. Rtc is designed so programmers can control exactly where type checking occurs: type-annotated objects serve as the "roots" of the type checking process, and unannotated objects are not type checked. We have applied rtc to several programs and found it to be easy to use and effective at checking types.