0
Даны:Понимания 'Спринт' после оценки полиморфного выражения
λ: let x = 1 + 2
Я бег sprint
напечатать его значение:
λ: :sprint x
x = _
Как и следовало ожидать, это невычисленное.
Но после оценки x
:
λ: x
3
sprint
еще выводит _
, т.е. невычисленного:
λ: :sprint x
x = _
Почему?
Почему полиморфизм влияет на его значение выражения? –
Ответ обновлен. – ErikR
Я думаю, что ключ здесь состоит в том, что «значение» с ограничением на него, например «Num a => a», на самом деле не является простым значением. Вместо этого это эффективная * функция * из словаря со стандартным знаком для значения. –