Я где то говорил что это C ? Я говорил о Тракторе говорил о будущем языков .

Ошибаешься это довольно просто если конверсия будет через ASM код. И именно нейронкой это и сделать проще всего.

Смысл в унификации системы.

Тот кто сомневается просто дебил если кодер то дебил прикормленный.

Никто общую типизацию и не собирался конвертировать. Просто интерпретация в asm генерация кода на основе asm какие тут проблемы. Или ты реально из верующих что ы процессорах есть какие то объекты или типы ? Там ничего этого нет вовсе. Там есть исполняемый asm.

Borrow Checker это всё таки не аффинная логика. Это просто проверка указателей. Так что различие в надёжности и квалификации существенное. А про SML я и говорил. Кэп.

Особенность SML в том что он очень лаконичный. Rust не на столько но он более комплексный.