如何在不同類型上進行模式匹配？

Question

data Test = [Int] | Int 

foobar :: Test -> Int 

如果我想要的東西，像foobar的[1,2,3] = 1，foobar的1 = 1。在二郎這將是所有的

foobar(X) when is_list(X) -> hd(X); 
foobar(X) -> X. 

Answer 1

首先，你的數據聲明是無效的。在Haskell中，你必須開始一個數據聲明與數據構造，稍後在匹配。例如，你的類型Test將被寫入

data Test = TLst [Int] | TInt Int 

現在，你可以簡單地匹配類型，構造;它的字段是一個列表或者一個int，取決於你符合其中的構造函數：

foobar :: Test -> Int 
foobar (TLst (x:xs)) = x 
foobar (TLst [])  = error "empty list passed to foobar" 
foobar (TInt x)  = x 

Answer 2

首先，這不是有效的Haskell語法：

data Test = [Int] | Int -- this doesn't work 

的替代品需要自己的構造函數。因此，這是有效的：

data Test = TestA [Int] | TestB Int 

然後你可以模式匹配這樣的：

foobar :: Test -> Int 
foobar (TestA listOfInt) = length listOfInt 
foobar (TestB int)  = int 

Answer 3

另一種方法來此是使用類型類，像這樣：

class Test a where 
    foobar a -> Int 

instance Test Int where 
    foobar x = x 

instance Test [Int] where 
    foobar [] = error "Empty list" 
    foobar (x:_) = x 

模式匹配在這裏是隱含的 - 傳遞給foobar的類型決定了我們選擇哪個實例。

但你可能不希望除非有一個在你的問題的對稱性，使得它明智的思考INT和[INT]作爲同樣的事情的兩個例子是做這樣的事情。你的類型越適合你解決的問題，類型分析者就可以幫助你。