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