私が間違っていなければ、「怠惰な命令型プログラミング言語」の概念は完全に理にかなっています。
たとえば、次のコードにより、プログラムが「7」を出力するはずだと思います
a <- 1
b <- a+5
a <- 2
print([b])
次のコードにより、プログラムは「6」を出力するはずです
a <- 1
b <- [a+5]
a <- 2
print(b)
次のコードにより、プログラムは文字列「a+5」を出力するはずです。
a <- 1
b <- a+5
a <- 2
print(b)
アイデアは[..]、各変数の現在の値を使用して評価を実行することにより、式を平坦化することです。
質問。怠惰な命令型プログラミング言語は存在しますか?存在しない場合、その理由は? それらが存在できない特定の理由はありますか？