You're absolutely right. You can indeed program in a "type safe way" in a "non type safe" language. However, if you are going to do that, you may as well have

You're absolutely right. You can indeed program in a "type safe way" in a "non type safe" language. However, if you are going to do that, you may as well have some compiler support too.