从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。

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.

youdao

从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。

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.

youdao