[dematz]

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

[hocuspocus]

Pretty weak argument as most points aren't inherent to gradual typing at all.