论文部分内容阅读
以理论研究的视角,现有面向对象程序设计语言的理论模型存在不足,如C++不支持元类,Java和C#的基本类型不是对象等.为此,设计了一种程序设计语言Shrek,将多种语言特性和语言设施统一在一个简洁、一致的模型下实现.Shrek语言是基于类的完全面向对象语言,拥有动态强类型系统,采用了与Mixin相结合的单继承机制.该语言具有协调一致的类对象结构,具备结构化计算反射能力,能够进行安全的元类程序设计.另外,它还支持多线程程序设计和自动垃圾回收,并通过本地方法机制极大地增强了自身的表达能力.该语言的原型系统已经