Gradual typing of production applications
Łukasz Langa