amarao

Это выглядит как динамическая типизация. В расте она есть (dyn), но она требует таскать указатель на объект, чтобы использовать его "не глядя". Я эту область совсем не трогал. Вот что тут пишут: https://doc.rust-lang.org/rust-by-example/trait/dyn.html

Но оно всегда медленее, чем compile-time типизация.

Твой пример на rust выглядит так:

fn main() {
    let a = 5;
    println!("{}", a);
    let a = "Hello";
    println!("{}", a);
}

Секрет в том, что это две разные перменные с разным lexical scope. Как только второй let выполняется, первая переменная больше не существует.