provability
/ˌpruːvəˈbɪlətɪ/ 16capability of being demonstrated or logically proved. synonyms: demonstrability. indisputability, indubitability, unquestionability, unquestionableness.
noun [抽象名词]n.可证明
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.
单词造句: