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

Question

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

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

Answer 1

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