如何检查列表是否包含具有类型的可区分联合案例？

Question

给出以下代码：

type Creature = 
    { Strength: int 
      Toughness: int }

type CardType = 
    | Creature of Creature
    | Land 
    | Instant

type Card = 
    { Types: CardType list }
module Card = 
    let isType t card = List.contains t card.Types

我能够编写

Card.isType Land

当尝试检查卡是否是生物时，我收到以下错误：

This expression was expected to have type
    'CardType'    
but here has type
    'Creature -> CardType'

是否可能有这样的“isType”函数，或者我是否坚持在单独的“上进行模式匹配” isCreature”函数代替？

Answer 1

除非您想诉诸各种基于反射的技巧，否则您将不得不使用模式匹配。我可能会使用 List.exist 而不是 List.contains （采用谓词）定义更通用的函数。然后，您可以轻松地为您的特定卡类型定义三个函数：

module Card = 
  let isType t card = 
    List.exists t card.Types
  
  let isCreature = 
    isType (function Creature _ -> true | _ -> false)
  let isLand = isType ((=) Land)
  let isInstant = isType ((=) Instant)

对于 Land 和 Instant，您只需检查该值是否等于您要查找的特定值即可。对于Creature，这需要模式匹配 - 但可以使用function很好地完成。