创建没有指针别名的编程语言的可能性

Mav*_*ick 2 java compiler-construction code-generation parser-generator

我对这里的所有编程爱好者都有一个问题.指针一直存在于编程世界中.就像在C,C++中得到明确的指针支持一样.在java中,显式指针支持不存在,但Java系统内部使用指针.在实际的世界中,是否可以开发一种编程语言来完全没有指针别名?

Mik*_*uel 7

基于堆栈的语言是完整的,但没有指针,也没有内存别名.

面向堆栈的编程语言是依赖于堆栈机器模型来传递参数的语言.有几种编程语言符合这种描述,特别是Forth,RPL,PostScript,BibTeX风格的设计语言

如果基于堆栈的语言允许您将堆栈上的值解释为堆栈上的一个点,则可能会遇到与指针别名引入的问题类似的问题,但这不一定是允许的操作.