Hm, this is an interesting point. One could say that once one has such general things as structural types, static typing essentially is just mandated static an

Hm, this is an interesting point. One could say that once one has such general things as structural types, static typing essentially is just mandated static analysis.