Ocaml 实例化具有状态的模块

Ocaml 实例化具有状态的模块,ocaml,Ocaml,它说,在中国 实例化具有状态的模块 模块可以包含可变状态, 这意味着你偶尔会想要多个 一个特定模块的实例化,每个模块都有自己独立的 独立可变态。函子可以让您自动构造 这些模块的名称 这本书没有太多关于这个副主题的内容。所以我在这里问 有人能给我举一个用状态实例化模块的例子来演示吗 怎么做 什么时候做 一个例子: 模块制造(参数:S)=结构 (***…随意使用Arg…*) 设id=ref0 让id()=incr id!身份证件 结束 每个实例化结果Make(Arg)都有自己的id生成器 如

它说,在中国

实例化具有状态的模块

模块可以包含可变状态, 这意味着你偶尔会想要多个 一个特定模块的实例化,每个模块都有自己独立的 独立可变态。函子可以让您自动构造 这些模块的名称

这本书没有太多关于这个副主题的内容。所以我在这里问

有人能给我举一个用状态实例化模块的例子来演示吗

  • 怎么做

  • 什么时候做

  • 一个例子:
    
    模块制造(参数:S)=结构
    (***…随意使用Arg…*)
    设id=ref0
    让id()=incr id!身份证件
    结束
    
    每个实例化结果
    Make(Arg)
    都有自己的id生成器
  • 如果你觉得不需要它,就别做。通常,拥有状态会使对代码进行推理变得更加困难