It is widely agreed that recursive types are inherent in the static typing of the essential mechanisms of object-oriented programming: encapsulation, message passing, subtyping, and inheritance. We demonstrate here that modeling object encapsulation in terms of existential types yields a substantially more straightforward explanation of these features in a simpler calculus without recursive types.
人们普遍同意,递归类型是面向对象编程的基本机制的静态类型所固有的:封装,消息传递,子类型化和继承。我们在这里证明,根据存在类型对对象封装进行建模可以在没有递归类型的更简单演算中对这些特征进行实质性更直接的解释。 P>
机译:面向对象并发编程中一种接受递归方法调用的有效方案
机译:面向对象的编程无继承(邀请的谈话)
机译:面向对象的科学编程-无需重新设计轮子
机译:面向对象程序的逻辑中的递归对象类型
机译:一种将类型安全的静态上下文鸭子键入添加到面向对象的编程语言的方法。
机译:强制性和面向对象的分布式程序的频繁声明和取消引用消除
机译:面向对象的无递归类型编程
机译:shlaer-mellor面向对象分析和递归设计,是一种有效的现代软件开发方法,用于开发大型物理探测器的计算系统