Their plan is twofold, in my understanding: first to translate the code fairly literaly, and then second, to provide unsafe -> safe refactoring tools. As far as I know they’re still on step 1.
Cool, that seems like a very sensible approach. The fact that they are already uncovering memory issues in C is promising too.
Yep, I think so too. That example output is more verbose than a human would write, but it’s a sensible start.
Looks like it's meant to enable projects similar to how the Go compiler/toolchain was initially translated (with the like-named c2go) and then gradually rewritten over time into idiomatic golang. It's easy to see that this could be a much more tenable project then a grand rewrite that has two codebases iterating forward in parallel for a time.