I suppose I shouldn't be surprised at the negative response here, but personally this seems like the perfect application of LLMs. Yeah, it'll need to be verified by humans, but so would human-translated code. Using an appropriately trained LLM to do the first pass translation has the potential to eliminate a lot of toil.
Hmm...
???!!!
Oh. It's a bit cheeky to do runtime ref counting under the hood and then go and say you don't rely on garbage collection. It's not a full tracing garbage collector - it's worse, it lets you create dangling references and then panics at runtime.
Inko looks interesting, for sure, as a Rust-lite that makes some kinds of code easier to write at the cost of more potential panics (safer, maybe...but desirable?). I'm not sure it's for me though.