고정 유형 언어에서 변수 유형이 영구적입니까?

Question

필자는 정적 형식 언어의 경우 런타임 전에 변수 형식을 "확인"한다는 것을 이해했습니다.

나는 int 유형의 var이 유형 문자열이 될 수 없다는 의미입니다. 이것은 변수 유형이 프로그램 전체에서 (동일한 범위 내에서) (정적 유형 언어로) 변경할 수 없음을 의미합니까?

누군가 "가변 섀도우 잉 (shadowing)"에 대해 언급했지만 다른 스코프에만 적용된다는 것이 확실합니다. VAR 음영의

var i = 'hi'; 
function foo() { 
    var i = 1; 
} 

내 이해 전역에 i가 foo 함수 범위 i 상이한 변수이고, 따라서 그들의 타입 (JS 안되는 정적 언어) 영구와 무관하다는 것이다. 그게 맞습니까?

Answer 1

누군가 "가변 섀도우 잉 (shadowing)"에 대해 언급했지만 다른 스코프에만 적용됩니다. 그것은 주장 할 수

fn main() { 
    let a: str = "hello"; 
    let a: i32 = 3; 
} 

:

그것은 "범위"의 당신의 정의에 따라

은, 녹, 예를 들어, 당신도 하나의 블록 내에서,에 대해 얘기하고 있다는 그림자의 종류를 할 수 있습니다 그림자 변수의 선언은 암시 적으로 이전 변수의 범위를 끝냅니다. 그러나 from the Rust book을 인용합니다 : 이름을 미행하는 변경하거나이 결합 된 가치를 파괴하고, 값이에 의해 더 이상 액세스 할 경우에도,이 범위를 벗어날 때까지 계속해서 존재하지 않습니다하지 않습니다

주 어떤 수단이든.