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 ...

We ran a piece last year summarizing an IEEE study of programming-language popularity based on job listings. This article fostered conversation, including debates about whether the languages IEEE used ...