I agree with you but an alternative view, "Why are gradual static types so great?" https://www.benkuhn.net/gradual/
Pretty weak argument as most points aren't inherent to gradual typing at all.
alt Hacker News
Pretty weak argument as most points aren't inherent to gradual typing at all.