一度しか代入（初期化しか）できない変数 と
変数に代入された値（参照先も含む）の不変性を保証 の差が解らない…

一度しか代入できないって事は代入された値が不変って事じゃないの？