You&#x27;re right. I just toned down my language. What I meant to say is that doing away with type safety is an old idea, and its downsides are old too. You end up with code that&#x27;s harder to read, because you can&#x27;t tell what the types are supposed to be, and you run into bugs that show up far away from your mistakes.