> especially when it comes to dynamic vs. static type systems One nice thing about Typescript is that it gives us a mostly statically typed language and it has

> especially when it comes to dynamic vs. static type systems One nice thing about Typescript is that it gives us a mostly statically typed language and it has a control to compare against (JavaScript). That allows programmers to learn the strengths and weaknesses of both approaches. Previously most comparisons were apples versus oranges. I'm guessing Python's Type hints (or Cython) also give a taste of the positives and negatives of static typing. I would also presume both Typescript and Cython miss out on some of the more extreme optimisation benefits of static typing?