2

假设我想在 OCaml 中建模一个简单的表达式类型：

type expr = 
| `Int of int
| `Str of string
| `IntAdd of expr * expr
| `StrAdd of expr * expr

是否可以限制其自身expr的expr * expr特定构造函数expr（即我IntExpr只想允许'Int'）？我可以通过模式匹配来模仿这一点，但expr扩展后会变得很麻烦。我可以以某种方式使用 OCaml 的类型系统来实现这一点吗？

我尝试使用多态类型上限如下：

type expr = 
| `Int of int
| `Str of string
| `IntAdd of [< `Int] * [< `Int]
| `StrAdd of [< `Str] * [< `Str]

但编译器不接受这个（带有 message In case IntAdd of [< Int ] * ([< Int ] as 'a) the variable 'a is unbound）。有什么诀窍可以使这项工作吗？

4

1 回答 1

2

给定的例子很简单，多态变体就足够了：

type int_expr = [`Int of int | `Add of int_expr * int_expr]
type string_expr = [`String of string | `Concat of string_expr * string_expr]
type expr = [int_expr | string_expr]

如果您想要更多有趣的功能，例如多态数据结构，则需要 GADT：

type _ expr =
  | Int : int -> int expr
  | Add : int expr * int expr -> int expr
  | String : string -> string expr
  | Concat : string expr * string expr -> string expr
  | Pair : 'a expr * 'b expr -> ('a * 'b) expr
  | Fst : ('a * 'b) expr -> 'a expr
  | Snd : ('a * 'b) expr -> 'b expr

GADT 会影响错误消息的推断和可理解性，因此如果您决定使用它们，请准备好克服这些困难。

于 2018-11-10T06:57:21.510 回答