В idris есть вселенная под названием UniqueType значения типов, в которых можно использовать только один раз. Насколько мне известно, его можно использовать для написания высокопроизводительного кода.
Rust имеет систему линейного типа. Есть ли (хороший) способ имитировать это в OCaml? Например, при использовании ocaml-lua я хочу убедиться, что некоторые функции вызываются только тогда, когда Lua на