Re:Diminishing returns of static typing
by fulafel on Monday October 02, 2017 @02:27PM
(#15386442)
This is a continuum... in many statically typed languages there are regularly used paths that lead outside the realm of the language-defined type system as well. Consider dynamic class loading in Java, dlopen / reinterpret_cast in C++ etc.
[ Parent
| on HN ]
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.