I didn't find this post very illuminating. It needs some actual examples of typed code and how the different interpretations would apply. The linked Wikipedia a

I didn't find this post very illuminating. It needs some actual examples of typed code and how the different interpretations would apply. The linked Wikipedia article actually did have an example, and it helped me understand a bit better, but it was in terms of the lambda calculus, so I'm still not entirely seeing how this applies to static and dynamic type system debate. Also: (2018)