Почему полиморфные значения не выводятся в Haskell?

Question

Числовые литералы имеют полиморфный тип:

*Main> :t 3 
3 :: (Num t) => t 

Но если связать переменную с таким буквальным, полиморфизм теряется:

x = 3 
... 
*Main> :t x 
x :: Integer 

Если я определить функцию, с другой стороны, это, конечно, полиморфный:

f x = 3 
... 
*Main> :t f 
f :: (Num t1) => t -> t1 

Я мог бы обеспечить сигнатуру типа для обеспечения x остается полиморфным:

x :: Num a => a 
x = 3 
... 
*Main> :t x 
x :: (Num a) => a 

Но зачем это необходимо? Почему не выведен полиморфный тип?

Answer 1

Это monomorphism restriction, в котором говорится, что все значения, которые определены без параметров и не имеют явной аннотации типа, должны иметь мономорфный тип. Это ограничение можно отключить в ghc и ghci, используя -XNoMonomorphismRestriction.

Причина ограничения состоит в том, что без этого ограничения long_calculation 42 будет оцениваться в два раза, в то время как большинство людей, вероятно, ожидать/хотите, чтобы только оценить сразу:

longCalculation :: Num a => a -> a 
longCalculation = ... 

x = longCalculation 42 

main = print $ x + x 

Answer 2

Чтобы расширить ответ sepp2k немного: если вы пытаетесь скомпилировать следующее (или загрузить его в GHCi), вы получите сообщение об ошибке:

import Data.List (sort) 
f = head . sort 

Это является нарушением ограничения мономорфизма, потому что у нас есть ограничение класса (введенное sort), но не исключая Доводы: мы (несколько таинственно) сказали, что у нас есть Ambiguous type variable в ограничении Ord a.

Вашего примера (let x = 3) имеет переменный так же неоднозначный тип, но он не дает ту же ошибку, потому что она спасена Haskell's "defaulting" rules:

Any monomorphic type variables that remain when type inference for an entire module is complete, are considered ambiguous, and are resolved to particular types using the defaulting rules (Section 4.3.4).

См this answer для получения дополнительной информации о недобросовестных правилах Важным моментом является то, что они работают только для определенных числовых классов, поэтому x = 3 в порядке, а f = sort - нет.

В качестве примечания: если вы предпочитаете, что x = 3 конец вверх будучи Int вместо Integer и y = 3.0 быть Rational вместо Double, вы можете использовать «декларацию по умолчанию», чтобы изменить настройки по умолчанию правил по умолчанию :

default (Int, Rational)