Это я всё к тезису о том, что "managed языки не поддержат весь зоопарк железа". Если для железа есть компилятор C, то можно сделать и бекенд для LLVM. А если этот бекенд есть, то туда уже компилируется куча "managed" языков. Например, Rust, в котором проблема нулевых указателей решена радикально.