The choice of C not Rust for the transpile target

[ken-okabe]

Just from curiosity, I wonder what's the reason would be to have chosen C not Rust as the transpile/compile target language because the HVM itself is written in Rust.

Is Rust redundantly too strict for the memory leak safety and rather hazard to compose the efficient code after the theoretical guarantee of the memory-safe code from GC-less of Symmetric Interaction Calculus?

[zicklag]

There's an issue that has some discussion on the topic that should answer your questions: #69.

[steinerkelvin]

Btw, I intend in the future to replace as much redundant code as possible on the generated C by binding it with the Rust code, and generating just the relevant part that is "dynamic".

[VictorTaelin]

It compiles to Rust now!

[zicklag]

Awesome! I've entertained the idea of using HVM for scripting, maybe plugging into Bevy for Rendering.

With HVM compiling to Rust, that would give us the possibility to load non-built-in scripts as runtime-compiled HVM, and for built-in scripts, we could compile to Rust, and embed it!

[steinerkelvin]

Oh, so you intend to user it with a game engine? This is hype!

[zicklag]

I'm thinking about it. :)

I'm not sure if I'll be able to or not, but it's something I'm interested in trying.