It's a ways out, but an extension to -XLinearTypes, "linear constraints", has been shown to be able to be used to implement Rust-like ownership. See Section 4 o

It's a ways out, but an extension to -XLinearTypes, "linear constraints", has been shown to be able to be used to implement Rust-like ownership. See Section 4 of https://richarde.dev/papers/2021/linear-constraints/linear-constraints.pdf https://richarde.dev/papers/2021/linear-constraints/linear-c... Linear constraints are technically just sugar, but without them it's too manual with bare -XLinearTypes.