Julien Verlaguet, a designer of the Facebook-driven language, talks about how Hack marries static typing with the benefits of fast PHP development The Hack language, which brings static typing to the ...

The latest State of JavaScript survey confirms findings from previous editions: Developers like and want static typing for the super-popular programming language. What's more, they're more likely to ...

Late binding can give you a great deal of flexibility as a Visual Basic programmer, but it has a serious downside: It eliminates static-type checking and disables IntelliSense support. Late binding ...

The most-wanted features by Python developers are static typing and strict type hinting, closely followed by performance improvements, Python Software Foundation survey results reveal. Python ...

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

Tighten up your code and identify errors before they occur with mypy. I've been using dynamic languages—Perl, Ruby and Python—for many years. I love the flexibility and expressiveness that such ...

Learn how Mypy's type checking works with functions and generators. In my last two articles I've described some of the ways Mypy, a type checker for Python, can help identify potential problems with ...