类型构造函数在Ocaml中的函数之间转义其范围

Question

match node with
| Element (description) ->
  otherFuncThatHandles description

描述是一个多态类型，它由其他三种类型参数化。

type ('a, 'b, 'c) elementDescription

当我将description传递给otherFuncThatHandles时，描述的类型构造函数会逃避其范围。我得到了错误的原因，但我不知道如何解决它。 是否有可能以某种方式将这些类型构造函数传递给otherFuncThatHandles，因此它们属于otherFuncThatHandles的范围？ 我可以制作一个额外的记录类型来传递描述？我认为记录中允许多态。还有另一种方式吗？

Answer 1

如果NULL确实是多态的，那么应该没有问题（也没有任何类型错误），例如：

otherFuncThatHandles

也许你有另一个导致类型错误的问题。