AutoCXX: Safely call C++ from Rust with auto generated bindings
I wonder how it can auto generate safe bindings for C++.To do that, it would essentially need to literally prove that the C++ code is thread and memory safe, which is an open research problem at
Best, and probably impossible since it requires solving the halting problem.If it can do that, then the actual binding generation would be the most uninteresting part of this work.