变量的初始化

Question

我是coq的初学者。 我有一个关于变量操作的问题，例如我有：       参数x：nat。 我想将x初始化为0，之后我想要影响5到x，所以我不知道该怎么做？ 谢谢你的帮助。

Answer 1

Coq是一种纯函数式编程语言。没有可变的全局变量。您可以使用Haskell使用的相同技巧来建模状态：monads。