haskell 类型

Question

如何在 Haskell 中查找值的类型？

我想要这样的东西:

data Vegetable = 
  Und Under
 |Abv Above

is_vegetable ::a->Bool  
is_vegetable a = if (a is of type Vegetable) then True else False

<小时/>

更新:

我想要一个数据结构来对上述树进行建模。

我还想要一些函数(is_drink、is_vegetable、is_wine、is_above)，以便我可以在列表上应用一些过滤器。

Answer 1

你不知道。您依靠类型系统来确保该值是 Vegetable --- 如果该值不是 Vegetable，您的程序将无法编译，更不用说运行了。

is_vegetable :: Vegetable -> Bool
is_vegetable _ = True  -- so there is not much point to this function

看到您的评论后进行编辑:

data Foodstuff = Vegetable Vegetable
               | Drink Drink

is_vegetable :: Foodstuff -> Bool
is_vegetable (Vegetable _) = True
is_vegetable _             = False

但这可能仍然不是您想要的。相反，您可能想要类似的东西

    case myFood of
         Vegetable vegetable -> -- something involving `vegetable`
         Drink drink         -> -- something involving `drink`