woaidongmao

文章均收录自他人博客,但不喜标题前加-[转贴],因其丑陋,见谅!~
随笔 - 1469, 文章 - 0, 评论 - 661, 引用 - 0
数据加载中……

类型系统的思路

不记得了,曾经很有感慨,需要再思考之

 

1、有限类型 + 无限对象构成的软件体系

2、每个类型,其实就是一个类,它的生命周期,时序 + 事件,就是一个状态机

3、某种类型的状态机 == 一个类型 == 一个类

posted on 2011-07-01 02:46 肥仔 阅读(201) 评论(0)  编辑 收藏 引用 所属分类: 编程思想


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理