短手OCaml"类型平等"

Question

是否有一个可以像这样实现的函数的简写OCaml表示法:

match e with
  Mycons ( _ ) -> true
  | _ -> false

我正在思考,typeof(e) == Mycons但我还没有找到任何东西.

Answer 1

我经常想要这样的东西,虽然"类型相等"并不是一个好名字(恕我直言).Mycons是一个值构造函数; 它代表的是一种不是类型的价值.对于nullary构造函数,您可以使用类似的东西((=) None),但除此之外我还没有找到更简洁的方法来编写它.