在计算机科学世界中，我们经常会听到一个词汇：“名称”。它似乎是程序设计中不可或缺的元素，但是名称到底是什么？它是类型安全的吗？
在最近的一篇博客文章中，作者深入探讨了这个问题。他指出，名称并不等同于类型安全。在程序设计中，我们经常使用名称来表示变量、函数或类等元素。然而，名称本身并不能保证类型的安全性。
举个例子，如果我们将一个名称在代码中错误地引用为另一个类型的变量，就会导致类型不匹配的问题，最终可能导致程序运行错误甚至崩溃。这就是名称并不是类型安全的一个例证。
作者建议，为了确保类型安全，我们应该更加关注数据结构和类型系统。通过严格定义数据的结构和类型，可以更好地避免因名称错误引用而导致的问题。
因此，让我们不再将名称视为类型安全的保证，而是更加注重数据结构和类型系统的设计。只有在严格遵循类型安全的原则下，我们的程序才能更加健壮、可靠。【注意：此文参考文章来源于：https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/】。
了解更多有趣的事情：https://blog.ds3783.com/