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

Question

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

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

Answer 1

它可能有多种含义取决于上下文，但我认为这意味着评估顶级表达式。例如，Haskell程序中的main函数的整个函数是一个表达式（类型为IO()），并且是该程序的顶级表达式，因此评估该表达式将构成顶级评估。