Comment by novagameco

Are you saying there isn't any tool which checks whether you're using your types correctly? If not, then the two aren't comparable at all