Tipado gradual integrado de manera segura en JavaScript

La semántica flexible de JavaScript hace que escribir código correcto sea difícil y escribir código seguro extremadamente complicado. Para abordar el primer problema, se han propuesto varias formas de tipado gradual, como Closure y TypeScript. Sin embargo, soportar todos los modismos de programación comunes no es fácil; por ejemplo, TypeScript renuncia deliberadamente a la solidez del tipo por conveniencia de programación. En este documento, proponemos un sistema de tipos gradual y técnicas de implementación que proporcionan importantes garantías de seguridad.