Combining Static and Runtime Type Checking for Better Dev Productivity

Dynamically-typed languages enable interesting development workflows. The ease with which you can experiment and innovate in, for instance JavaScript, is extraordinary. But there is a catch. When your application and team grow, the inability to define contracts in the code makes the application fragile and refactorings expensive.