Experience report: Applying random testing to a base type environment

Vincent St-Amour, Neil Toronto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

As programmers, programming in typed languages increases our confidence in the correctness of our programs. As type system designers, soundness proofs increase our confidence in the correctness of our type systems. There is more to typed languages than their typing rules, however. To be usable, a typed language needs to provide a well-furnished standard library and to specify types for its exports. As software artifacts, these base type environments can rival typecheckers in complexity. Our experience with the Typed Racket base environment-which accounts for 31% of the code in the Typed Racket implementation-teaches us that writing type environments can be just as error-prone as writing typecheckers. We report on our experience over the past two years of using random testing to increase our confidence in the correctness of the Typed Racket base environment.

Original languageEnglish (US)
Title of host publicationICFP 2013 - Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming
Pages351-356
Number of pages6
DOIs
StatePublished - Nov 12 2013
Event2013 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013 - Boston, MA, United States
Duration: Sep 25 2013Sep 27 2013

Publication series

NameProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Other

Other2013 18th ACM SIGPLAN International Conference on Functional Programming, ICFP 2013
CountryUnited States
CityBoston, MA
Period9/25/139/27/13

Keywords

  • Numeric towers
  • Random testing
  • Type environments

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Experience report: Applying random testing to a base type environment'. Together they form a unique fingerprint.

Cite this