I am careful to make this type inference optional, and I think it's probably dangerous to use it as a cornerstone of any processing tool chain.
我谨慎地将这种类型推断设成可选的功能，认为如果将其作为所有处理工具链条的基础可能是危险的。
Even a proof that the chain of inference is uncompletable would be worth knowing.
关于推论的链条不可完备一说的证明，也是值得知道的。
应用推荐