It's not that they don't follow the comments, it's the fact that comments aren't executable, so they rot. People forget to update them. That can't happen with type definitions, because your code stops compiling.

Sure, comments serve their purpose, but that purpose only slightly overlaps with that of static types.