typescript is 90% marketing, 10% actually making your code safer