[erlang-questions] Erlang VM in Rust
Richard A. O'Keefe
Tue Sep 26 04:02:23 CEST 2017
Given that the motivation for the OP suggesting Rust
was memory safety, it is not without significance that
C++ is in no way a memory-safe language.
C++ is a wee bit fragile in the template area.
The type checking process is Turing-complete (because
the template language is a Turing-complete functional
language) and the C++ standard allows C++ compilers
to give up, but it does not require them to give up at
the same point. Nor, unless/until "concepts" are
adopted are C++ templates type-checkable at the point
of definition, unlike ML functors.
More information about the erlang-questions