“顶级评估”是什么意思？

Question

“顶级评估”是什么意思？

这一术语在中提到的文本中没有定义。我不想说具体的上下文，因为我只对一般的解释感兴趣。

Answer 1

根据上下文的不同，它可能有多种含义，但我认为它意味着对顶级表达式的评估。例如，Haskell程序中的整个main函数都是一个表达式(类型为IO ())，并且是该程序的顶级表达式，因此计算该表达式将构成顶级计算。