Question

我在一个模块中定义了一个变体，另一个模块基本上扩展了变体，但是我使用的是多态变体。

为了防止Extended.exp中的子表达式成为Core.exp的子表达式，结后会被束缚。

module Core = struct
  type 'a expr_f = [
    | `Int of int
    | `Plus of 'a expr_f * 'a expr_f
  ]

  type expr = expr expr_f
end

module Ex = struct
  type 'a expr_f = [
    | 'a Core.expr_f
    | `Times of 'a expr_f * 'a expr_f
  ]

  type expr = expr expr_f
end

这似乎有效，直到我们使用递归函数遍历类型Ex.expr的值。

let rec test : Ex.expr -> Ex.expr = function
  | `Int i -> `Int i
  | `Plus (a, b) -> `Plus (test a, test b)
  | `Times (a, b) -> `Times (test a, test b)

我收到类型错误，因为Expr.expr_f的类型是：

type 'a expr_f = [
  | `Int of int
  | `Plus of 'a Core.expr_f * 'a Core.expr_f
  | `Times of 'a expr_f * 'a expr_f
]

子表达式使用Core.expr_f，不支持额外的Times案例。

我该怎么做才能解决这个问题？

我不确定我是否应该宣布该变体并将其保持开放，因为我确实希望从穷举检查中受益。

Answer 1

如果你真的想“以后打结”，这就是你应该有的定义：

module Core = struct
  type 'a expr_f = [
    | `Int of int
    | `Plus of 'a * 'a
  ]

  type expr = expr expr_f
end

module Ex = struct
  type 'a expr_f = [
    | 'a Core.expr_f
    | `Times of 'a * 'a
  ]

  type expr = expr expr_f
end

与多态变体结合

1 个答案: