The Problems in OO Typing(Not Finished)

原创 2004年06月23日 20:18:00
 
Typing of
? Encapsulation (Solved: existential types [Girard 71])
?  Inheritance (Partially solved)
?  Polymorphism (Open issue)
 
 
 
 
Typing Inheritance
1.
Covariant Typing
Animal {
   Shit eats(Food)
}
Cow extends Animal {
  CowShit eats(Grass)
}
Problem: Not type sound
Animal a = new Cow();
Food f = new Hamburger();
a.eat(f); //Food poisoning
 
2.
 
Contravariant Typing
Animal {
   Shit eats(Grass)
}
Cow extends Animal {
  CowShit eats(Food)
}
Problem:
Sound but not flexible
3.
 
Novariant Typing
Animal {
   Shit eats(Food)
}
Cow extends Animal {
  Shit eats(Food)
}
Problem:
Worst of both worlds.
 
 

hdu How to Type (dp)

How to Type Time Limit : 2000/1000ms (Java/Other)   Memory Limit : 32768/32768K (Java/Other) T...
  • Wiking__acm
  • Wiking__acm
  • 2012年08月14日 12:47
  • 1122

ACM学习感悟——HDU257 HOW TO TYPE

Problem Description Pirates have finished developing the typing software. He called Cathy to test...
  • CQUWEL
  • CQUWEL
  • 2015年03月09日 21:04
  • 279

CentOS 7更新时出现Multilib version problems

解决CentOS7系统更新时出现的Mutilib version problems。
  • mydeman
  • mydeman
  • 2017年10月07日 08:14
  • 1923

关于编程语言的typing(一些基本概念)

原文地址,编程大牛 http://www.blogjava.net/sean/archive/2009/09/28/296825.html 最近围观一本JavaScript的书籍引发的争论,一不小...
  • sunlight_vip
  • sunlight_vip
  • 2015年04月23日 10:52
  • 392

CentOS - yum Multilib Version Problems Found

Sometimes when you use "yum" to install a package, you get the following errors: # yum install ...
  • zhuxiang203
  • zhuxiang203
  • 2014年08月23日 17:22
  • 5796

PHPOO知识点总结

 面向对象:认识或认知事物的一种方法--->类比 对象是类进行实例化后的结果 object -->物质,事物 类 -->抽象:属性-->外观   行为-->做的事(默认情况下的是缺少了该属...
  • ailxxiaoli
  • ailxxiaoli
  • 2016年07月09日 20:43
  • 943

**Python IDE PyCharm的基本快捷键和配置简介**

Python IDE PyCharm的基本快捷键和配置简介快捷键 1、编辑(Editing) Ctrl + Space 基本的代码完成(类、方法、属性) Ctrl + Alt + Space 快...
  • u010779348
  • u010779348
  • 2016年06月01日 11:05
  • 641

SAP ABAP OO ALV 获取当前的alv事件 包括f4帮助,回车按钮,等其他全部按钮alv操作

*   获取当前事件      lv_enter = cl_gui_alv_grid=>CUR_EVENT.
  • forever_crazy
  • forever_crazy
  • 2014年02月14日 15:22
  • 1693

java学习之oo篇

这两天刚开始学习java语言,当看完马士兵讲的java中的面向对象之后,有种豁然开朗的感觉,内心充满了欢喜,因此,在这里跟大家分享一下自己的感受。 一、OO三大特性       1、封装    ...
  • china_e999
  • china_e999
  • 2015年04月01日 17:53
  • 558

ALV OO 实例

*&---------------------------------------------------------------------* *& Report  ZTEST_ALV11 *&...
  • zhongguomao
  • zhongguomao
  • 2015年01月29日 09:49
  • 766
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:The Problems in OO Typing(Not Finished)
举报原因:
原因补充:

(最多只允许输入30个字)