相关疑难解决方法(0)

Rust有一个线性类型的系统.在OCaml中是否有任何(好的)模拟方法？例如,当使用ocaml-lua时,我想确保只有当Lua处于特定状态(堆栈顶部的表等)时才会调用某些函数.

Edti:这是最近关于与该问题相关的资源多态性的论文:https://arxiv.org/abs/1803.02796