模式匹配记录类型

Question

让我们考虑以下 Point 记录类型：

type Point = { x:int; y:int }

我想创建一个谓词来告诉我给定的 Point 是否位于有效区域中。

let insideBounds p =
  let notInside c = c < 0 || c > 100
  match p with
  | {x=i; y=_} when notInside i -> false
  | {x=_; y=j} when notInside j -> false
  | _                           -> true

这是可行的，但我想知道是否有另一种方法可以实现与 insideBounds 签名相同的结果

let insideBounds {x=i; y=j}

，但仍然使用模式匹配？

Answer 1

您可以定义一个活动模式来测试一个值是否在指定为参数的范围内：

let (|InRange|_|) (min, max) v = 
  if v >= min && v <= max then Some () else None

然后您可以像这样定义insideBounds：

let insideBounds = function
  | { x = InRange (0, 100); y = InRange (0, 100) } -> true
  | _ -> false

当两个>x 和 y 成员在指定范围内。活动模式返回选项单元，这意味着它不绑定任何值。 (0, 100) 是输入参数，当值（x 或 y）在范围内时，模式匹配。

（在其他上下文中`将 10 与 InRange (0

Answer 2

当然。

type Point = { x:int; y:int }

let insideBounds {x=i; y=j} =
  let notInside c = c < 0 || c > 100
  not (notInside i || notInside j)

我建议反转你的逻辑以使其更清晰：

let insideBounds {x=i; y=j} =
  let isInside c = c >= 0 && c <= 100
  isInside i && isInside j

作为一般规则，布尔函数/属性等最好是肯定的。这样，否定就保留了它的否定性，可以这么说。