変数型は静的型言語で永続的ですか？

Question

私の理解では、静的型付け言語の実行時には、変数型は実行前に「チェック」されています。

これは、int型のvar型はstring型ではないことを意味すると思いますか？これは、変数型が（静的に型指定された言語で）プログラム全体で（同じスコープ内で）変更できないことを意味しますか？

誰かが「可変シャドーイング」について言及しましたが、私はかなり異なるスコープにしか当てはまらないと確信しています。

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

のvarシャドウイングの私の理解では、グローバルスコープでiがfoo関数スコープでiとは異なる変数であるため、その種類は永久と無関係（JSではない静的な言語で）であるということです。そうですか？

Answer 1

誰かが「可変シャドウイング」について言及しましたが、私はかなり異なるスコープにしか当てはまらないと確信しています。

それは錆は、たとえば、あなたも、単一のブロックの中に、話をしていることをシャドウイングの種類を可能にする、「スコープ」のあなたの定義に依存：

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

それは主張することができshadow変数の宣言が前の変数のスコープを暗黙的に終了することを示します。しかしfrom the Rust bookを引用する：

注名前をシャドウイングすると、それはもはやによってアクセス可能であったとしても、変更していないか、破壊する、それがバインドされた値を、それがスコープの外に出るまで、値が存在し続けるだろうしないこと任意の手段。