让一种语言同时提供按名称调用和按值调用如何？

Question

让一种语言同时提供按需调用( call-by-need，CBN)和按值调用( call-by-value，CBV)评估策略可以吗？我的意思是不需要修复它和在另一个中模拟，而是让用户在需要的时候选择哪一个。例如，假设语言有一个eval函数，就像Scheme available中那样，它可以接受来自用户的另一个参数，指定他想要的评估策略。

Answer 1

在一种语言实现中结合按需调用(惰性)和按值调用(严格)当然是可能的，只要注意避免使具有副作用的计算变得懒惰并使发散计算变得严格。

Strictness analysis用于惰性函数式语言中，用于检测何时可以使用CBV策略安全地评估函数。CBV求值通常更快，但对非严格函数使用此求值策略会改变程序的语义。

Wadler描述了如何在函数式语言中组合惰性计算和严格计算。

作为终极thread的lambda也解决了这个问题。

Scala有一个关键字lazy，用于说明某些计算将延迟执行。其他语言也有类似的结构。