Haskell: понимание QuickCheck с функцией более высокого порядка - PullRequest
Новая
       53

Haskell: понимание QuickCheck с функцией более высокого порядка

0 голосов
/ 28 июня 2019

У меня есть функция foo: 

foo :: [a] -> (a -> b) -> [b]
foo [] f = []
foo (x:xs) f = foo xs f

И следующие два свойства, которым оно должно удовлетворять: 

prop_1 :: [Int] -> Bool
prop_1 xs = foo xs id == xs 

prop_2 :: [Int] -> (Int -> Int) -> (Int -> Int) -> Bool
prop_2 xs f g = foo (foo xs f) g == foo xs (g . f)

Когда я пытался протестировать функцию с помощью quickCheck, яполучить следующую ошибку: 

 Ambiguous type variable 't0' arising from a use of '=='
      prevents the constraint '(Eq t0)' from being solved.
      Probable fix: use a type annotation to specify what 't0' should be.
      These potential instances exist:
        instance (Eq a, Eq b) => Eq (Either a b)
          -- Defined in 'Data.Either'
        instance Eq GeneralCategory -- Defined in 'GHC.Unicode'
        instance Eq Ordering -- Defined in 'ghc-prim-0.5.0.0:GHC.Classes'
        ...plus 24 others
        ...plus 107 instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
      In the expression: foo (foo xs f) g == foo xs (g . f)
      In an equation for 'prop_2':
          prop_2 xs f g = foo (foo xs f) g == foo xs (g . f)
Failed, modules loaded: none.

Я не уверен, почему я получаю эту ошибку и как я могу ее решить.Любые идеи приветствуются.

1 Ответ

1 голос
/ 28 июня 2019

Мне удалось продублировать ваше сообщение об ошибке в следующей программе. Обратите внимание, что подпись для foo закомментирована: 

import Test.QuickCheck
import Text.Show.Functions

-- foo :: [a] -> (a -> b) -> [b]
foo [] f = []
foo (x:xs) f = foo xs f

prop_1 :: [Int] -> Bool
prop_1 xs = foo xs id == xs

prop_2 :: [Int] -> (Int -> Int) -> (Int -> Int) -> Bool
prop_2 xs f g = foo (foo xs f) g == foo xs (g . f)

main = do
  quickCheck prop_1
  quickCheck prop_2

Если я верну подпись foo, она будет хорошо проверена. Тесты, конечно же, проваливаются, поскольку foo не делает то, что вы намереваетесь делать.

Проблема в том, что версия foo, имеющаяся у вас здесь, имеет предполагаемую подпись: 

foo :: [a] -> b -> [c]

поэтому в prop_2 нельзя определить тип элементов списка для самых верхних вызовов foo, чтобы разрешить правильную операцию (==).

Если вы замените foo на правильную версию: 

foo :: [a] -> (a -> b) -> [b]
foo [] f = []
foo (x:xs) f = f x : foo xs f

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

...