I agree with you but an alternative view, "Why are gradual static types so great?" https://www.benkuhn.net/gradual/