I was looking at what Mojo is doing for the first time in half a year or so the other day. It seems to be coming along nicely as an "easier to use Rust with fir

I was looking at what Mojo is doing for the first time in half a year or so the other day. It seems to be coming along nicely as an "easier to use Rust with first class Python and MLIR interop". At first glance, it looks like what this article is proposing is rather similar in spirit. E.g. in Mojo when a function wants ownership, but the caller doesn't give it, the value automatically gets copied without requiring additional annotations. The annotation is needed for transferring ownership instead, etc... https://docs.modular.com/mojo/manual/values/ https://docs.modular.com/mojo/manual/values/