有没有办法用 F# 在类型约束中定义新的类型参数？

Question

我似乎找不到这样的方法：

type Instance<'Aggregate when 'Aggregate :> Aggregate.T<'State,'Event,'Failure>> = {
  ...
  Aggregate: 'Aggregate
  CurrentState: 'State
  ...
}

请注意，我想：

• 首先在类型约束中定义类型参数
• 定义类型时使用类型参数

这当然不会编译，因为'State 没有定义。在保留实例含义的同时，还有其他方法可以做到这一点吗？

我想了一些简单的方法来做到这一点，但它们都失去了意义。例如。 Instance<'State,'Event,'Failure> 和 Instance<'Aggregate> 不太一样。

Answer 1

所有类型参数都必须是显式的，所以需要包含'State、'Event和'Failure：

type Instance<'Aggregate,'State,'Event,'Failure when 'Aggregate :> Aggregate.T<'State,'Event,'Failure>> = {
  ...
  Aggregate: 'Aggregate
  CurrentState: 'State
 ...
}

但是，在使用这种类型时，您应该很少需要显式指定那些额外的参数。在创建实例时，编译器应该能够推断出它们，并且即使您必须显式命名 Instance<_,_,_,_> 类型，您也可以为某些参数使用匿名的 _ 占位符。