Surprising to me to use "the map is not the territory" this way when static typing constrains and makes provable claims about the territory. If none, or even m

Surprising to me to use "the map is not the territory" this way when static typing constrains and makes provable claims about the territory. If none, or even most of those top 25 errors don't mostly look like type errors to you, you don't know enough about good type systems to be making judgement calls about them.