\tangent Things stated by implication are harder to understand because of the cognitive load. But I wonder, if the compiler can get by without it, perhaps we c

\tangent Things stated by implication are harder to understand because of the cognitive load. But I wonder, if the compiler can get by without it, perhaps we can too? With a different mental model/abstraction, that simply does not need that information - not even by implication. If there is one, probably not easy to come up with. Like kinematics omitting force (e.g. high school physics, x = x_0 + vt + 1/2at^2). https://wikipedia.org/wiki/Kinematics https://wikipedia.org/wiki/Kinematics