AutoCXX: Safely call C++ from Rust with auto generated bindings
I wonder how it can auto generate safe bindings for C++.<p>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.<p>If it can do that, then the actual binding generation would be the most uninteresting part of this work.