指针是传统计算机语言最糟糕的东西之一，指针意味着地址，数学语言是没有地址这个概念的。

要精确定义一个计算机语言，必须建立语言的数学模型。在计算机科学里叫做建立语言的“语义（semantics）”。建立地址的语义非常困难。

在实际应用里，地址意味着按地址搜索寻找，这是传统计算机效率低的原因之一。理想的搜索寻找应该是按模式搜索寻找。