> What type is the creature if it's exactly halfway between being a Tadpole and a Frog? It's an animal. The type checker will make sure you don't try to water(

> What type is the creature if it's exactly halfway between being a Tadpole and a Frog? It's an animal. The type checker will make sure you don't try to water() it. Static typing does not have to mean infinitely granular typing (though of course typing everything "statically" as any is pointless).