它证明了该CLI规范还同时保证了运行库不允许类型构造函数产生死锁的情形，除非用户代码显式采用了附加锁。

It turns out the CLI specification also guarantees that the runtime will not allow type constructors to create a deadlock situation, unless additional locks are explicitly taken by user code.

youdao

它已经在iOS 3.x中实现了，在基本的表单中只允许基于字符串的通信，在iOS 4.x中将会改进，实现全部的API规范。

It is already implemented in iOS 3.x in a basic form allowing string based communication only and imporved in iOS 4.x implementing the full API specification.

youdao

它允许我们从实现中剥离对象的规范(如何与它交互)。

It allows us to separate the specification of the object (how you interact with it) from the implementation.

youdao