Question

在haskell中有没有办法做这样的事情？

data Fruits = Apple Int | Orange Int deriving (Eq, Show)

basket = [Apple 2, Orange 4]

from_basket t (x:basket) =
    case x of
        (t i) -> i
        _ -> from_basket t basket

现在我想从水果清单（篮子）中获取'苹果'

from_basket Apple basket

没有明确的模式匹配

case x of
    Apple i -> ...
    Orange i -> ...
    _ ->

Answer 1

一种方法是定义自己的帮助函数isApple，然后进行过滤：

isApple (Apple _) = True
isApple _         = False

getApples = filter isApple

模式匹配是您选择的工具，我不知道您是否可以进一步简化此操作。但除了一些脏模板Haskell，我没有看到任何其他方式。

Answer 2

其他答案已经解释了为什么它不会按原样运行，但就替代方案而言，想要做类似的事情通常表明您的数据类型看起来应该更像这样：

data FruitName = Apple | Orange deriving (Eq, Show)
data Fruits = Fruits FruitName Int deriving (Eq, Show)

...在这种情况下，所需的功能变得微不足道。

Answer 3

您可以通过定义选择器功能

来完成类似的操作

getApple :: Fruits -> Maybe Int
getApple (Apple x) = Just x
getApple _ = Nothing

getOrange :: Fruits -> Maybe Int
getOrange (Orange x) = Just x
getOrange _ = Nothing

fromBasket selector [] = Nothing
fromBasket selector (x:basket) =
    case selector x of
        Just x -> Just x
        Nothing -> fromBasket selector basket

现在你可以做到

> fromBasket getApple basket
Just 2

> fromBasket getOrange basket
Just 4

这假设您的构造函数都采用类似的参数。如果所需的水果类型不在篮子中，它也会返回Nothing。

Haskell模式匹配类型

3 个答案: