News for hackers. Stuff that matters.
Re:Diminishing returns of static typing by catnaroek on Monday October 02, 2017 @03:16PM (#15386982)
> This is a continuum.

It is not. A language feature is either amenable to static analysis (not necessarily type checking) or it is not.

> Consider dynamic class loading in Java, dlopen / reinterpret_cast in C++ etc.

This actually emphasizes my point. Features that are not amenable to static analysis are problematic for tooling.

There are no comments on this comment yet.