是否存在惰性命令式编程语言?如果没有,为什么不呢?

gob*_*lin 6 imperative-languages lazy-evaluation

如果我没记错的话,“懒惰的命令式编程语言”的概念很有意义。

例如,我设想以下代码应使程序打印“ 7”

a <- 1
b <- a+5
a <- 2
print([b])
Run Code Online (Sandbox Code Playgroud)

而以下代码应使程序打印“ 6”

a <- 1
b <- [a+5]
a <- 2
print(b)
Run Code Online (Sandbox Code Playgroud)

并且以下代码应使程序打印字符串“ a + 5”

a <- 1
b <- a+5
a <- 2
print(b)
Run Code Online (Sandbox Code Playgroud)

这个想法是[..]通过使用每个变量的当前值执行评估来使表达式变平。

题。是否存在惰性命令式编程语言,如果不存在,为什么不呢?有什么特殊原因使它们永远不存在?