Чому цей код Haskell видає помилку "нескінченний тип"?

Я новачок у Haskell і стикаюся з помилкою "неможливо побудувати нескінченний тип", яку я не можу зрозуміти.

Насправді, крім цього, я не зміг знайти хорошого пояснення того, що ця помилка навіть означає, тому, якщо ви могли б вийти за рамки мого основного запитання та пояснити помилку "нескінченний тип", я б це дуже вдячний.

Ось код:

intersperse :: a -> [[a]] -> [a]

-- intersperse '*' ["foo","bar","baz","quux"] 
--  should produce the following:
--  "foo*bar*baz*quux"

-- intersperse -99 [ [1,2,3],[4,5,6],[7,8,9]]
--  should produce the following:
--  [1,2,3,-99,4,5,6,-99,7,8,9]

intersperse _ [] = []
intersperse _ [x] = x
intersperse s (x:y:xs) = x:s:y:intersperse s xs

І ось помилка при спробі завантажити її в інтерпретатор:

Prelude> :load ./chapter.3.ending.real.world.haskell.exercises.hs
[1 of 1] Compiling Main (chapter.3.ending.real.world.haskell.exercises.hs, interpreted )

chapter.3.ending.real.world.haskell.exercises.hs:147:0:
Occurs check: cannot construct the infinite type: a = [a]
When generalising the type(s) for `intersperse'
Failed, modules loaded: none.

Дякую.

-

Ось деякі виправлені коди та загальні рекомендації щодо усунення помилки "нескінченного типу" в Haskell:

Виправлений код

intersperse _ [] = []
intersperse _ [x] = x
intersperse s (x:xs) =  x ++ s:intersperse s xs 

У чому була проблема:

Мій підпис типу вказує, що другим параметром для вкраплення є список списків . Тому, коли я збігався з "s (x: y: xs)", x та y ставали списками . І все-таки я поводився з x і y як з елементами, а не як списки.

Вказівки щодо усунення помилки "нескінченного типу":

Здебільшого, коли ви отримуєте цю помилку, ви забуваєте типи різних змінних, з якими ви стикаєтесь, і намагаєтеся використовувати змінну так, ніби це інший тип, ніж той, що вона є. Уважно подивіться, якого типу все в порівнянні з тим, як ви його використовуєте, і це, як правило, виявить проблему.

Проблема полягає в останньому реченні, де ви розглядаєте x та y як елементи, тоді як вони є списками. Це буде працювати:

intersperse _ [] = []
intersperse _ [x] = x 
intersperse s (x:y:xs) = x ++ [s] ++ y ++ intersperse s xs

Помилка нескінченного типу виникає через те, що оператор: має тип a -> [a] -> [a], тоді як ви розглядаєте це як [a] -> a -> [a], що означає, що [a] потрібно ідентифікувати з a, що означало б, що a - це нескінченно вкладений список. Це заборонено (і зовсім не те, що ви маєте на увазі).

Редагувати: у наведеному вище коді також є ще одна помилка. Вона повинна бути:

intersperse _ [] = []
intersperse _ [x] = x
intersperse s (x:xs) = x ++ [s] ++ intersperse s xs

Часто додавання явного визначення типу може зробити так, щоб повідомлення про помилку типу компілятора мало більше сенсу. Але в цьому випадку явне введення погіршує повідомлення про помилку компілятора.

Подивіться, що відбувається, коли я дозволяю ghc вгадувати тип проміжку:

Occurs check: cannot construct the infinite type: a = [a]
  Expected type: [a] -> [[a]] -> [[a]]
  Inferred type: [a] -> [[a]] -> [a]
In the second argument of `(:)', namely `intersperse s xs'
In the second argument of `(:)', namely `y : intersperse s xs'

Це чітко вказує на помилку в коді. Використовуючи цю техніку, вам не потрібно вдивлятися у все і добре думати про типи, як пропонували робити інші.

Можливо, я помиляюся, але, схоже, ви намагаєтесь вирішити більш складну проблему. Ваша версія intersperseне просто передає значення масиву, а й вирівнює його на один рівень.

ListМодуль в Haskell фактично забезпечує пересипати функцію. Він позначає значення, вказане між кожним елементом у списку. Наприклад:

intersperse 11 [1, 3, 5, 7, 9] = [1, 11, 3, 11, 5, 11, 7, 11, 9]
intersperse "*" ["foo","bar","baz","quux"] = ["foo", "*", "bar", "*", "baz", "*", "quux"]

Я припускаю, що це те, що ти хочеш зробити, бо це те, що мій професор хотів, щоб ми зробили, коли я навчався Haskell. Я, звичайно, міг би бути повністю.

Також я знайшов це, що пояснює значення помилки.

Кожного разу, коли інтерпретатор / компілятор видає мені цю помилку, це тому, що я використовую якийсь параметризований за типом кортеж як формальний параметр. Все працює правильно, видаливши визначення типу функції, яка містила змінні типу.

Я все ще не можу зрозуміти, як це виправити та зберегти визначення типу функції.