Modeluję system, który ma operację, która tworzy zasób i inne operacje, które zużywają ten zasób. Jednak dany zasób może zostać zużyty tylko raz - czy istnieje sposób, który mogę zagwarantować podczas
Rust ma liniowy system typów. Czy istnieje jakiś (dobry) sposób symulacji tego w OCaml? Np. Podczas korzystania z ocaml-lua, chcę się upewnić, że niektóre funkcje są wywoływane tylko wtedy, gdy Lua zn