|
|
|
|
|
|
by legobmw99
189 days ago
|
|
|
There are some interesting experiments going on in the OCaml world that involve what they call 'modes', essentially a second type system for how a value is used separate from what it is. One goal of modes is to solve this problem. It ends up looking a bit like opting-in to a Rust-style borrow-checker for the relevant functions https://oxcaml.org/documentation/modes/intro/ |
|
|