本月博客排行
-
第1名
龙儿筝 -
第2名
lerf -
第3名
fantaxy025025 - johnsmith9th
- xiangjie88
- zysnba
年度博客排行
-
第1名
青否云后端云 -
第2名
宏天软件 -
第3名
gashero - wy_19921005
- vipbooks
- benladeng5225
- e_e
- wallimn
- javashop
- ranbuijj
- fantaxy025025
- jickcai
- gengyun12
- zw7534313
- qepwqnp
- 解宜然
- ssydxa219
- zysnba
- sam123456gz
- sichunli_030
- arpenker
- tanling8334
- gaojingsong
- kaizi1992
- xpenxpen
- 龙儿筝
- jh108020
- wiseboyloves
- ganxueyun
- xyuma
- xiangjie88
- wangchen.ily
- Jameslyy
- luxurioust
- lemonhandsome
- mengjichen
- jbosscn
- zxq_2017
- lzyfn123
- nychen2000
- forestqqqq
- wjianwei666
- ajinn
- zhanjia
- Xeden
- hanbaohong
- java-007
- 喧嚣求静
- mwhgJava
- kingwell.leng
最新文章列表
敲响OO时代的丧钟——一种新的语言(2)
让我们接着昨天的数据类型来讨论。
datatype Triangle as Polygon{
check: lines.size()==3;
}
这样的判断,其实是有漏洞的。假设多边形中,有一条以上的直线,长度为0,那么这个多边形,就不是一个三角形了。因此,我们需要修改Line的类型定义:
datatype Line{
Point p1;
Point p2;
ch ...
今天交通法规考试通过了!
其实是非常简单的,只是压力却很大,因为要是通不过,就太丢人了。 今天本来上午就能进去考的,结果那个机器识别不出我的指纹,只能等到下午重新识别。按照老师的说法,“你的指纹质量不太好”。真是失败啊! 下午考完之后就第一次上了车——是驾驶座啊——其实差别也不大,就是脚前面多了点东西,不能随便伸腿了。今天上海也非常热车里的空调怎么也打不上去,简直就是蒸桑纳,如果因此能够减肥的话,到也算是一项额外的收获。 回 ...
对于《我看OO的哲学》的简短评论
《我看OO的哲学》是canonical刚写的一篇blog。我们在思考共同的问题,因此想法有很多可以相互参考和借鉴之处。 简要评价如下: 数学会需要逻辑学做基础,而逻辑学又实际上必然以哲学为基础,这是逃不掉的。 仅仅以同义反复为基础的逻辑命题,自然可以摆脱哲学。 但是要解决现实中的问题,只怕还是不得不和哲学打一定的交道,这也是新提出领域描述语言(DSL)的实际处境。
关于OO丧钟的进度汇报
目前打算分析OO背后的哲学理论问题,这是OO的一个根本问题,然而也确实非常的复杂,需要仔细的梳理,目前需要阅读的文章有: OO, OO以后, 及其极限<1>OO, OO以后, 及其极限<2> 维特根斯坦后期思想(上)维特根斯坦后期思想(下) 自然辩证法与计算机语言发展 构件技术“应用”先行 亚里士多德形而上学体系初探 OO的目标是什么? 《Thinking in Java》之 ...
敲响OO时代的丧钟!——OO时代的来临(1)
三、OO时代的来临 多年以后的今天,我们依然在思考这样一个问题:“OO怎么就流行起来了呢?”学术一点分析,这个问题可以分为以下几个部分: 1、OO之前的软件开发困境何在?2、当时的开发人员如何解决那些困境?3、那些解决困境的努力,为何会汇入OO的名下?4、OO这个概念,从何而来?5、OO的核心内容是什么?6、OO的实际目的是什么?7、OO的理想目标是什么?...... 在今后的几天里,我将 ...