Ошибка при попытке «распечатать» список в Haskell

Question

У меня есть следующая проблема: учитывая max (max) apacity и заданный список значений (listOfValues), мне нужно вернуть список со значениями из listOfValues. Сумма элементов должна быть < = max, и мне нужно определить приоритеты более высоких значений.

Пример: набрав solvingProblem 103 [15, 20, 5, 45, 34] я должен получить: [45, 45, 5, 5]

Для того, чтобы решить эту проблему я создать следующий код:

solvingProblem max [] = 0 
solvingProblem max listOfValues | max == 0 = 0 
           | otherwise = createList max listOfValues [] 


createList max [] result = -1 
createList max listOfValues result | smaller listOfValues > max = -1 
           | higher listOfValues > max = createList max (remove (higher listOfValues) listOfValues) result 
           | otherwise = createList (max - higher listOfValues) listOfValues (insert (higher listOfValues) result) 

higher [a] = a 
higher (a:b:x) | a > b = higher (a:x) 
       | otherwise = higher (b:x) 

smaller [a] = a 
smaller (a:b:x) | a < b = smaller (a:x) 
       | otherwise = smaller (b:x) 

remove x [] = [] 
remove x (h:t) | x == h = remove x t 
       | otherwise = h : remove x t 

insert x (h:t) = x : h : t 

В двух строках, где я возвращаю «-1», должен быть параметр «результат», но если я изменил «-1» на «результат», код не загружается на ghci.

Может кто-нибудь мне помочь?

Спасибо и извините за мой плохой английский.

Answer 1

Если я могу начать с небольшого примечания, некоторые из ваших функций уже существуют в Haskell (теперь, когда я придумаю это, вы могли бы написать их для упражнения, но на всякий случай это не будет в этом случае, давайте обсудим это): ваш higher - maximum, ваш smaller - minimum, а ваша вставка - только (:), beacause, как вы сами пишете insert x list = x:list. Обратите внимание, что ваша версия не удастся, если вы дадите ей пустой список, потому что соответствие шаблонов не является исчерпывающим. Также вы можете написать remove с точки зрения фильтра: remove x list = filter (== x) list.

Теперь почему ваш код не загружается должным образом? ghci говорит вам:

• Non type-variable argument in the constraint: Num [a] 
    (Use FlexibleContexts to permit this) 
• When checking the inferred type 
    solvingProblem :: forall a. 
         (Ord a, Num [a], Num a) => 
         a -> [a] -> [a] 

Что я согласен довольно загадочно, но то, что он говорит, что тип возвращаемого solvingProblem список a и по какой-то причине он также является экземпляром класса Num типа. Причина, по которой он говорит, что это экземпляр Num, объясняется тем, что одно из возвращаемых значений solvingProblem - это 0, что является немногочисленным числом, поскольку оно также является списком. Изменение 0 с помощью [] делает компиляцию кода и работу (если вы меняете insert с (:), иначе вы получите не исчерпывающий образец соответствия, о котором я говорил ранее).

λ> solvingProblem 103 [15,20, 5, 45, 34] 
[5,5,45,45] 
it :: (Ord t, Num t) => [t] 

Answer 2

Проблема связана с последним пунктом охраны в createList.

Типа вы предназначены для createList, кажется:

createList :: Int -> [Int] -> Int -> Int 

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

| otherwise = createList (max - ...) listOfValues (insert ...) 
         ^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^ 
          Int  [Int]  [Int] 

Даже если GHC очень хорошо выводя типов, всегда добавляя подписи типа к вашему коду - хороший способ поймать эти виды ошибок на раннем этапе.