名單的標準定義

Question

我有一個名單的定義問題。通常列表定義爲data [a] = [] | a : [a] 但如果我寫這樣的事情在我的代碼，具體我會定義data T a = N | a -> (T a)解釋給我一個錯誤：

Malformed head of type or class declaration

你知道什麼是錯的？ 。

Answer 1

a -> T a意味着a是一個函數，返回T a的東西，所以我認爲這是錯誤的一點。嘗試這樣的事情。

data T a = N | R a (T a) 

N爲空列表值（[]的當量），R是值構造（相當於:）

你需要隨身攜帶的a價值的一些方法的右手邊。你現在可以正確的列表像。

> N -- The empty List 
> R 5 N -- a list with a single element and then the end 
> R 7 (R 6 (R 5 N)) -- the list 7, 6, 5 

Answer 2

它看起來像你的問題是，你試圖用->中綴構造像:（爲了建立使用a -> b -> N語法列表）。這是不允許的，因爲Haskell中的自定義中綴構造函數必須以:字符開頭。

的原因嗎？奇怪的錯誤訊息是因爲->在Haskell被保留用於函數類型，如Jeff's answer解釋

試試這個：

-- Create a right-associative infix constructor. 
data T a = N | a :-> (T a) 
infixr :-> 

mylist :: T Int 
mylist = 10 :-> 17 :-> N 

--If we hadn't made the operator right associative, 
-- we would need to use explicit parenthesis here 
myotherlist :: T Int 
myotherlist = 10 :-> (17 :-> N) 

-- Example function 
isempty :: T a -> Bool 
isempty N   = False 
isempty (_ :-> _) = True