Mojo has some support for Linear Types, it is not fully-fleshed out yet because of missing type system machinery, but the plan is to have full support for Linear Types.

Here is the full proposal: https://gist.github.com/VerdagonModular/9dfc97a3fbed72280019...