- 博客(1)
- 资源 (1)
- 收藏
- 关注
原创 精通java必看。(好书再荐!)
Powered by http://www.wufuheng.com/讲到oo,学过几年的人都会说,oo,我会。java生来就是oo的,我一直用java,自然也就oo了。oo简单的时候也就几个class就好了。但是复杂的时候,一个人写几个class完成一个项目,另外一个人也写几个class,但是reusability, flexibility的高下就分出来了。举个简单的例子,要制作一个wind
2003-10-03 14:28:00 1211
面向Typestate的编程
Objects model the world, and state is fundamental to a faithful
modeling. Engineers use state machines to understand
and reason about state transitions, but programming languages
provide little support for reasoning about or implementing
these state machines, causing software defects and
lost productivity when objects are misused.
We propose Typestate-Oriented Programming as a natural
extension to the object paradigm, where objects are
modeled not just in terms of classes, but in terms of changing
states. Each state may have its own representation and
methods which may transition the object into a new state. A
flow-sensitive, permission-based type system helps developers
track which state objects are in. First-class typestates are
a powerful abstraction that will help developers model and
reuse objects more efficiently and correctly.
2010-08-23
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人