模式匹配记录的歧义

Question

我从this question 了解到可以对记录使用模式匹配。但是，我注意到我在尝试匹配不同类型的记录时遇到了问题。

我在这个例子中的目标是能够区分不同的记录。我收到了一条我不完全确定它是哪种类型的记录，我正在尝试使用模式匹配来找出它。

这是一个简化的例子：

module IceCream = struct
  type t = {
    temperature: float;
    toppings: string list;
  }
end

module Candy = struct
  type t = {
    flavour: string;
    colour: string;
    volume: int;
  }
end


(* Could be Candy or IceCream *)
let example =
  { Candy.
    flavour = "mint";
    colour = "green";
    volume = 10 }

let printFavoriteTreat treat = match treat with
  | { Candy.
      flavour = "mint";
      colour;
      volume } -> "It's Candy"
  | { IceCream.
      temperature;
      toppings } -> "It's IceCream"


let () = printFavoriteTreat example

当我尝试构建此文件时，我得到：

Error: The field IceCream.temperature belongs to the record type IceCream.t
       but a field was expected belonging to the record type Candy.t

这样的事情可能吗？

Answer 1

我收到了一条我不完全确定它是哪种类型的记录，我正在尝试使用模式匹配来找出它。

这是不可能的。类型只存在于编译时，因此无法在运行时检查它是什么类型。

换句话说，在一个有效的程序中，您可以在每个表达式上放置一个类型注释（不过，在大多数情况下，您不必这样做，这要归功于类型推断）。如果您不能这样做，那么您应该以不同的方式设计您的程序，例如使用其他人建议的 sum 类型 - 在这种情况下，两个值将具有相同的类型（在编译时）但不同的构造函数（在运行时）。

Answer 2

皮埃尔提供的答案很好，但例子不多。 （我一直讨厌名为a、b...的示例）

因此，正如 Pierre 建议的那样，您可以像这样定义您的类型：

type ice_cream = {
  temperature: float;
  toppings: string
}

type candy = {
  flavor: string;
  color: string;
  volume: int
}

然后，您可以将treat 定义为这两种类型的variant：

type treat =
| Candy of candy
| IceCream of ice_cream

然后，使用模式匹配：

let print_favorite_treat = function
| Candy _ -> print_endline "You love candy!"
| IceCream _ -> print_endline "You love ice cream!"

Answer 3

您正在尝试在不使用变体类型的情况下匹配不同的类型。

您使用的模块语法无济于事，因为模块只是构建代码。您可以定义以下类型：

type a = {
     temperature: float;
     toppings: string list;
  }

type b =  {
    flavour: string;
    colour: string;
    volume: int;
  }

但结果是一样的。

消除歧义的方法是使用变体类型（或下例中未描述的联合类型）：

let printFavoriteTreat treat = match treat with
  | `A{ Candy.
      flavour = "mint";
      colour;
      volume } -> "It's Candy"
  | `B { IceCream.
      temperature;
      toppings } -> "It's IceCream"
;;

还有

let () = printFavoriteTreat (`A example)