Понимания 'Спринт' после оценки полиморфного выражения

Question

Даны:

λ: let x = 1 + 2 

Я бег sprint напечатать его значение:

λ: :sprint x 
x = _ 

Как и следовало ожидать, это невычисленное.

Но после оценки x:

λ: x 
3 

sprint еще выводит _, т.е. невычисленного:

λ: :sprint x 
x = _ 

Почему?

Answer 1

Это потому, что x является полиморфным.

Сравнить с:

Prelude> let x = 1 + 2 :: Int 
Prelude> :sprint x 
x = _ 
Prelude> x 
3 
Prelude> :sprint x 
x = 3 
Prelude> 

Когда x полиморфный GHCI не может заменить преобразователь, с определенным значением, так как вы могли бы оценить его позже в качестве другого типа.