Type-safe GraphQL with OCaml
Having spent my entire career, 15+ years, in &quot;weakly typed&quot; or whatever you call it, languages, such as basic, vbScript and JavaScript I don&#x27;t get this type hype. In &quot;unsafe&quot; languages that have overflows I get it <i>will</i> help  to make it less unsafe, but in high level languages such as JavaScript why do you even need static (not sure I&#x27;m using the right vocabulary) typing !? Such as HypeScript, err I mean TypeScipt. Is there an entire field of programmers out there that get bugs because they are mixing numbers and strings !? I also did that a lot as a beginner in JavaScript as the plus sign is used both as concatenation and addition.
I read a study here on HN a while ago (that probably was sponsored by $M) that stated using TypeScript would prevent most of the bugs found on GitHub, but of course there where no examples of where type annotation would have helped. So what&#x27;s with this type frenzy ?