Tại sao mã Haskell này tạo ra lỗi "loại vô hạn"?

Question

Tôi mới dùng Haskell và phải đối mặt với lỗi "không thể xây dựng loại vô hạn" mà tôi không thể hiểu được. Trong thực tế, ngoài ra, tôi đã không thể tìm thấy một lời giải thích tốt về những gì lỗi này thậm chí có nghĩa là, vì vậy nếu bạn có thể vượt ra ngoài câu hỏi cơ bản của tôi và giải thích lỗi "loại vô hạn", tôi thực sự đánh giá cao nó.

Dưới đây là các mã:

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 

Và đây là lỗi khi cố gắng tải nó vào người phiên dịch:

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. 

Cảm ơn.

-

Dưới đây là một số điều chỉnh mã và một hướng dẫn chung để đối phó với các lỗi "loại vô hạn" trong Haskell:

Corrected đang

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

gì vấn đề là:

Trạng thái chữ ký loại của tôi s mà tham số thứ hai để phân tách là danh sách các danh sách . Do đó, khi mẫu của tôi khớp với "s (x: y: xs)", x và y đã trở thành danh sách. Tuy nhiên, tôi đã xử lý x và y là yếu tố, không phải danh sách.

Hướng dẫn để đối phó với các "loại vô hạn" lỗi:

Hầu hết thời gian, khi bạn nhận được lỗi này, bạn đã quên các loại của các biến khác nhau mà bạn đang làm việc với, và bạn đã cố gắng sử dụng một biến như thể nó là một số loại khác hơn so với những gì nó được. Hãy xem xét kỹ mọi thứ về loại nào so với cách bạn sử dụng nó và điều này thường sẽ phát hiện ra vấn đề.

Answer 1

Vấn đề nằm trong mệnh đề cuối cùng, nơi bạn coi x và y là phần tử, trong khi đó là các danh sách. Điều này sẽ làm việc:

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

Lỗi loại vô hạn xảy ra vì: nhà điều hành có kiểu a -> [a] -> [a], trong khi bạn đối xử với nó như [a] -> a -> [a] , có nghĩa là [a] phải được xác định bằng a, có nghĩa là a là một danh sách lồng nhau vô hạn. Điều đó là không được phép (và không phải những gì bạn có nghĩa là, anyway).

Chỉnh sửa: cũng có một lỗi khác trong mã ở trên. Nó phải là:

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

Answer 2

Tôi có thể sai, nhưng có vẻ như bạn đang cố gắng giải quyết một vấn đề khó khăn hơn. Phiên bản intersperse của bạn không chỉ làm tăng giá trị với mảng mà còn làm phẳng nó một cấp.

Mô-đun List trong Haskell thực sự cung cấp chức năng giao nhau. Giá trị đặt trong giá trị được đưa ra giữa mỗi phần tử trong danh sách.Ví dụ:

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"] 

Tôi giả định đây là những gì bạn muốn làm bởi vì đó là những gì giáo sư của tôi muốn chúng tôi làm khi tôi học Haskell. Tôi có thể, tất nhiên, là hoàn toàn ra ngoài.

Answer 3

Tôi cũng tìm thấy this giải thích ý nghĩa của lỗi.

Mỗi lần trình thông dịch/trình biên dịch cho tôi lỗi này là vì tôi đang sử dụng một số tham số kiểu tham số chính thức. Mọi thứ hoạt động chính xác bằng cách xóa định nghĩa kiểu của hàm, có chứa biến kiểu.

Tôi vẫn không thể tìm ra cách sửa lỗi và giữ định nghĩa loại chức năng.

Answer 4

Thường thêm định nghĩa kiểu rõ ràng có thể làm cho thông báo lỗi loại trình biên dịch trở nên có ý nghĩa hơn. Nhưng trong trường hợp này, việc đánh máy rõ ràng làm cho thông báo lỗi của trình biên dịch tồi tệ hơn.

Hãy xem những gì sẽ xảy ra khi tôi để GHC đoán loại vãi ra:

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' 

Đó chỉ rõ ràng đối với các lỗi trong mã. Sử dụng kỹ thuật này, bạn không phải nhìn chằm chằm vào mọi thứ và suy nghĩ kỹ về các loại, như những người khác đã đề nghị làm.