Что означает оценка «верхнего уровня»?Что означает оценка «верхнего уровня»?
Этот термин не был определен в тексте, о котором упоминалось. Я не хочу говорить о конкретном контексте, потому что меня интересуют только общие объяснения.
Он может иметь несколько значений в зависимости от контекста, но я думаю, что это означает оценку выражения верхнего уровня. Например, весь объект функции main в программе Haskell является одним из выражений (типа IO()) и является высшим выражением программы, поэтому оценка этого выражения будет представлять собой оценку верхнего уровня.