The correct title is “TypeScript and the dawn of gradual types” HN Guidelines: “If the title includes the name of the site, please take it out, because the sit

The correct title is “TypeScript and the dawn of gradual types” HN Guidelines: “If the title includes the name of the site, please take it out, because the site name will be displayed after the link. If the title contains a gratuitous number or number + adjective, we'd appreciate it if you'd crop it. E.g. translate "10 Ways To Do X" to "How To Do X," and "14 Amazing Ys" to "Ys." Exception: when the number is meaningful, e.g. "The 5 Platonic Solids." Otherwise please use the original title, unless it is misleading or linkbait; don't editorialize.”