letは何故存在するのでしょうか？

Question

変数をイミュータブルと定義するプログラミング言語では、
一度定義した変数に新たに値を代入する時にletをつけるものが多いと思います。

変数がイミュータブルであるということは、変数は不変であるという状態が保証出来るのに、あえてletを用いてその保証を崩してしまう意味はあるのでしょうか？

(そもそも私はletの意味を理解できていない。
rubyの破壊的再代入とは意味の違うものだという認識はある。)

Answer 1

変数をイミュータブルと定義するプログラミング言語では、
意味不明なので検索したのですが、「変数をイミュータブル」はGoogle検索でヒット8件で、「変数がイミュータブル」と合わせても10件。誤用では無いかと思います。
ミュータブル／イミュータブルというのは、普通はオブジェクトに対して使う言葉のはずです。
参考：Wikipedia:イミュータブル
おそらく「変数が再代入不可」ということを言いたいのではないかと思います。

どの言語の話なのかわかりませんが、関数型言語のような変数が再代入不可の言語のletということであれば、同じ変数に値を再代入しているわけじゃなくて、今のスコープの内側に別のスコープを作ってそこに外側と同名の別の変数を作ると言うことではないかと思います。

「スコープが異なる同名の別の変数があるとプログラムがわかりにくい」という趣旨の指摘であれば一理あると思います。

rubyの破壊的再代入とは意味の違うものだという認識はある。
これも「破壊的再代入」はGoogle検索で7件ですね。
オブジェクト（の中身）を書き換える破壊的メソッドのことですかね？
これは変数は同じオブジェクトを指し続けているので代入は関係ないですね。

「再代入とはどういう意味なのか？」が鍵になる質問だと思うので、あえて言葉にこだわってみました。

Comments

[motoyan_k]

用語の使い方から丁寧にご回答頂きありがとうございます。

> ミュータブル／イミュータブルというのは、普通はオブジェクトに対して使う言葉のはずです。
失礼しました、まさしく
> おそらく「変数が再代入不可」ということを言いたいのではないかと思います。
のとおりです。

> 同じ変数に値を再代入しているわけじゃなくて、今のスコープの内側に別のスコープを作ってそこに外側と同名の別の変数を作る

zephirという言語を書いていて気になっていたのですが、
「再代入不可」であるものにたいして、一見再代入を可能にしているように見えるのが不可解だと感じていました。

なるほど！！
同じ名前ではあってもスコープが別の変数が出来上がっているということなのですね。

> これも「破壊的再代入」はGoogle検索で7件ですね。
> オブジェクト（の中身）を書き換える破壊的メソッドのことですかね？

これは確か、初めてのRubyという書籍で
> Aオブジェクトの参照を持つ変数にBオブジェクトを代入することで、Aオブジェクトが破壊されてしまうということが可能であり、それを破壊的再代入と呼んでいたに記憶しています。

読んだのが２年ほど前なので大いに記憶違い、あるいはしっかり理解せずに読んでいた可能性がありますね；；
もう一度書籍読み返してみようと思います。

ありがとうございました。