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

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

Mypy, a code-linting project created to allow static type checking in Python, has been improved to benefit larger, more complex projects and speed up parsing. One of Python‘s big attractions is its ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

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