命令型プログラミングでは、ステートメントを使用して、次のようなことを行います。
a = 10
b = a * 2
print a # 20
私は、式で同等のものは次のようになるべきだと考えてきました。
print with(a=10){with(b=a*2){return b}}
これは肉屋のパイソンで書かれていますが、それは問題ではなく、私が何を意味するかを説明する必要があります. プログラム内の変数の状態を変更する (変更されたままになる) のではなく、ブロック スコープ内で、そのスコープ内のすべての式について変更します。
こういう名前がありそうですね。私は純粋関数型言語を知りませんが、代入文が存在しない場合に一時的な値を計算するには、この種のものが非常に役立つと思います。それが何と呼ばれているか、これが組み込まれている言語は何か、それに関する詳細情報はどこで入手できるか知っている人はいますか?