程序指令程序命令
Program instructions, program commands
以上为机器翻译结果，长、整句建议使用 人工翻译 。
从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。
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
应用推荐
模块上移
模块下移
不移动