Почему этот Haskell жалуется на неоднозначные типы, когда он расширен? - PullRequest
Новая
       22

Почему этот Haskell жалуется на неоднозначные типы, когда он расширен?

4 голосов
/ 09 сентября 2011

Следующее возвращает True (потому что 2147483647 - простое число). 

length [f | f <- [2..(floor(sqrt 2147483647))], 2147483647 `mod` f == 0 ] == 0

Почему это не работает, когда я пытаюсь расширить его, как показано ниже? 

Prelude> [n | n <- [2..], length [f | f <- [2..(floor(sqrt n))], n `mod` f == 0 ] == 0 ]

<interactive>:1:39:
    Ambiguous type variable `t' in the constraints:
      `RealFrac t' arising from a use of `floor' at <interactive>:1:39-51
      `Integral t' arising from a use of `mod' at <interactive>:1:56-64
      `Floating t' arising from a use of `sqrt' at <interactive>:1:45-50
    Probable fix: add a type signature that fixes these type variable(s)

Донне понимаю, почему RealFrac возникает из-за использования пола?Я думал, что Пол взял RealFracs и произвел Integrals?Кроме того, он не жаловался на приведенный выше пример, я только вводил больше целых чисел, как тогда. 

Prelude> :t floor
floor :: (RealFrac a, Integral b) => a -> b

Ответы [ 2 ]

10 голосов
/ 09 сентября 2011

Давайте немного не запутаем это: 

Prelude> (\x -> x `mod` (floor . sqrt) x) 2

<interactive>:1:24:
    Ambiguous type variable `b' in the constraints:
      `Floating b' arising from a use of `sqrt' at <interactive>:1:24-27
      `Integral b' arising from a use of `mod' at <interactive>:1:7-30
      `RealFrac b' arising from a use of `floor' at <interactive>:1:16-20
    Probable fix: add a type signature that fixes these type variable(s)

Вы используете значение n в качестве числа с плавающей точкой, передавая его sqrt и floor.Затем вы используете этот результат как int, передавая этот результат в mod.Компилятор не может назвать тип со всеми этими экземплярами.

Причина, по которой он работает в вашем первом примере, другими словами 

Prelude> 2 `mod` (floor . sqrt) 2
0

, заключается в том, что вы используете два разных числовых литерала,Один может быть int, а другой - float.Если вы используете одно и то же значение для обоих, вам нужно вызвать fromIntegral для преобразования int в число с плавающей точкой.

Вы можете получить другое сообщение об ошибке, добавив сигнатуру типа, изменив [2..] на[2..] :: [Integer]: 

No instance for (RealFrac Integer)
  arising from a use of `floor' at <interactive>:1:52-64
No instance for (Floating Integer)
  arising from a use of `sqrt' at <interactive>:1:58-63

Это может сделать более понятным, что вы используете значение n в качестве двух разных типов.

0 голосов
/ 09 сентября 2011

Как указал С. А. Макканн ниже, мой ответ неверен: -)

Насколько я вижу, это потому, что список, который вы создаете, может состоять из любого экземпляра Floating, поскольку сигнатура типа sqrt равна 

sqrt :: Floating a => a -> a

Предварительно составив sqrt с fromIntegral :: (Integral a, Num b) => a -> b, вы получите желаемый результат: 

    Prelude> take 10 $ [n | n <- [2..], length [f | f <- [2..(floor(sqrt (fromIntegral n)))], n `mod` f == 0 ] == 0 ] 
[2,3,5,7,11,13,17,19,23,29]
...