Gradual typing has emerged as a compelling approach to reconcile the strengths of static and dynamic type systems. By permitting programmers to incrementally annotate code, it enables early detection ...

A colleague recently asked me, “Have you noticed that the better developers we’ve worked with are also fast typists?” I acknowledged that I had noticed relatively quick typing speed to be a common ...

Strong typing is not simply about avoiding bugs. It’s also about following sound software engineering principles and checking consistency at various levels. The notion of strong typing often is ...