如何为交错函数调用创建类型安全的DSL

Question

我想创建一个DSL,其中可以连续调用2(foo和bar)函数,以便

initialize()
|> foo 10
|> bar "A"
|> foo 20
|> bar "B"
|> transform

这通过定义非常完美

type FooResult = FooResult
type BarResult = BarResult

let foo param (result_type:BarResult, result) = (FooResult, transform param result)
let bar param (result_type:FooResult, result) = (BarResult, transform param result)

现在我想要允许多个bar调用可以连续执行,但是foo仍然只需要调用一次

initialize()
|> foo 10
|> bar "A"
//OK
|> bar "B"
|> transform

initialize()
|> foo 10
|> bar "A"
|> foo 20
//should yield an compile error
|> foo 30
|> bar "B"
|> transform

在C#中,我可以重载bar接受BarResult或FooResult,但这对F#不起作用.至少不容易.我也试图建立一些判别联盟,但我真的无法理解它.

Answer 1

这是一个有趣的问题!

你现有的代码工作得很好,但我会做一个改变 - 你实际上并不需要传递实际值FooResult和BarResult值.您可以使用另一种类型指定的特殊"标记" 来定义MarkedType<'TPhantom, 'TValue>表示值的'TValue类型:

type MarkedValue<'TPhantom, 'TValue> = Value of 'TValue

然后,您可以使用接口作为幻像类型的类型参数.我发现考虑"结果"有点困难,所以我将改用输入:

type IFooInput = interface end
type IBarInput = interface end

诀窍是现在,你也可以定义一个接口,既IFooInput和IBarInput:

type IFooOrBarInput =
  inherit IFooInput
  inherit IBarInput

所以,你现在需要做的催产素是适当的添加注解foo和bar:

let foo param (Value v : MarkedValue<#IFooInput, _>) : MarkedValue<IBarInput, _> = 
  Value 0

let bar param (Value v : MarkedValue<#IBarInput, _>) : MarkedValue<IFooOrBarInput, _> = 
  Value 0

这里,输入上的注释说它应该接受任何或继承自IFooInput或IBarInput.但是bar函数的结果标有IFooOrBarInput,这使得可以将它传递给两者foo和bar:

(Value 0 : MarkedValue<IFooInput, _>)
|> foo 10
|> bar "A"
|> bar "A"
|> foo 20
|> bar "B"