It's not that program proofs cannot be done with imperative programs, but that the number of state changes that occur make them unwieldy.
并不是不能为命令式程序进行那种程序证明，而是状态改变发生的次数之多使得那些证明不具意义。
So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.
从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。
It was recognized at this conference that standardization of equipment for the blood program was desirable in peacetime and imperative in a national emergency.
在这次会议中可以看出，和平时期血液项目组的仪器标准化是令人满意的，在国家发生紧急情况时也是必要的。
Unfortunately, this year the Minnesota legislature, under a budget-cutting imperative, declared that the funding for the elm removal program had to die.
可惜的是，在财政预算强制缩减的情况下，明尼苏达州议会今年宣布，停止榆树移除工程的财政支出。
Unfortunately, this year the Minnesota legislature, under a budget-cutting imperative, declared that the funding for the elm removal program had to die.
可惜的是，在财政预算强制缩减的情况下，明尼苏达州议会今年宣布，停止榆树移除工程的财政支出。
应用推荐