Почему этот Хаскелл жалуется на неоднозначные типы, когда он расширяется?
Вопрос
Следующее возвращает 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 и произвел интегралы? Кроме того, это не жаловалось при вышеуказанном примере, я ввожу больше целых чисел, как и тогда.
Prelude> :t floor
floor :: (RealFrac a, Integral b) => a -> b
Решение
Давайте слегка не добавим это:
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, и один может быть поплавок. Если вы используете одно и то же значение для обоих, вам нужно позвонить 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
как два разных типа.
Другие советы
Как указано CA McCann ниже, мой ответ не верен :-)
Насколько я вижу, это потому, что список, который вы производите, может состоять из любого экземпляра 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]