Well one can analyze that type systems are till the hell freezes over. I personally do not care as this precise knowledge (assuming it is formalized and exists) is of zero value to me. When I want to walk I just do. I do not dwell on the details of the walking process.
Anyways most likely you do know well what I meant. JS vs C++ for example.
Anyways most likely you do know well what I meant. JS vs C++ for example.