Gradual Typing Across the Spectrum

Benchmarks

Reticulated Python

https://github.com/nuprl/retic_performance?path=benchmarks

Suite of Python programs adapted from: case studies reported by Vitousek, Kent, Siek, and Baker; the module-level evaluation of Big Types in Little Runtime; and open-source programs. Each function in these benchmarks may be typed or untyped. In other words, for a program with 10 functions the benchmark explores 1024 configurations of gradual typing.

Appeared in:

Typed Racket