Re:Diminishing returns of static typing
by catnaroek on Monday October 02, 2017 @01:10PM
(#15385705)
Does it work in the presence and (ab)use of dynamic features? (e.g., when you have lots of decorated functions) Or is it just a best effort thing? (i.e., only works when your code would actually be expressible in a static way)
[ Parent
| on HN ]
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.
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.