1·Interruption allows a cancelable activity to clean up any work in progress, restore invariants, notify other activities of the cancellation, and then terminate.
中断允许一个可取消活动来清理正在进行的工作，恢复不变量，通知其他活动它要被取消，然后才终止。
2·Unit testing tools allow us to check that key invariants of our programs continue to hold under refactoring.
单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。
3·The type system by itself is not expressive enough to capture all of the intended invariants.
类型系统自身并没有表现得能够捕获所有计划的不变量。
4·Yet another approach to adding much more powerful invariants is that of dependent types.
添加更加强大的不变量的另一种方法是从属类型。
5·There are several research projects underway to significantly improve the sorts of invariants we can specify for a component.
目前正在进行多项调研项目以显著改进我们可以规定用于组件的不变量的种类。