This is an execution-centric view; I think that types really are everywhere when it comes to how typical programmers think about their code (even in dynamically

This is an execution-centric view; I think that types really are everywhere when it comes to how typical programmers think about their code (even in dynamically typed languages).