You'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 w

You'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's harder to read, because you can't tell what the types are supposed to be, and you run into bugs that show up far away from your mistakes.