Question

我对F＃相当陌生，但是一直在阅读有关工作流程和计算表达式的信息。从阅读的内容中，我认为我至少对工作流的目的和使用工作流的语法有基本的了解。然后，我在这里遇到了一个示例：BitWorker Workflow。

我尝试将示例代码复制到本地项目并成功运行。我开始四处移动并了解代码的功能，但是仍然很难理解该工作流程的实际工作方式。我还没有看到其他示例，这些示例的工作流语法类似于：do bitWriter stream {...而不是do workflow {...。

let stream = new IO.MemoryStream()

// write TCP headers
do bitWriter stream {
    do! BitWriter.WriteInt16(12345s)           // source port
    do! BitWriter.WriteInt16(12321s)           // destination port
    do! BitWriter.WriteInt32(1)                // sequence number
    do! BitWriter.WriteInt32(1)                // ack number
    do! BitWriter.WriteInt32(2, numBits = 4)   // data offset
    do! BitWriter.WriteInt32(0, numBits = 3)   // reserved
}

我不希望stream成为bitWriter工作流程的一部分。这里使用stream对工作流程意味着什么？

Answer 1

如果我们看一个实现这样工作流程的最小示例，这应该更容易解释。首先，我将为您可以执行的操作定义一种类型。为了简单起见，让我们只有一个：

type Operation =  
  | WriteInt32 of int

典型的F＃计算构建器不接受任何构造函数参数，但实际上可以接受参数-这里的计算构建器将流作为参数并创建StreamWriter。在Bind操作中，参数是我们的Operation值之一，我们通过将值写入流写入器来处理该值。然后，我们仅使用f ()

调用其余的计算

type BitWriter(stream:IO.Stream) = 
  let wr = new IO.StreamWriter(stream)
  member x.Bind(op, f) = 
    match op with
    | WriteInt32 i -> wr.Write(i)
    f ()
  member x.Zero() = ()
  member x.Run( () ) = wr.Dispose()

Zero和Run操作并不是特别有趣，但是翻译需要Zero，而Run让我们处理作者。这不是定义计算表达式的最惯用的方式-它不遵循monadic结构-但实际上有效！在使用它之前，有两个助手：

let writeInt32 i = WriteInt32 i
let bitWriter stream = BitWriter(stream)

现在您可以编写与上述库差不多的代码：

let stream = new IO.MemoryStream()

bitWriter stream {
  do! writeInt32 1
  do! writeInt32 2
  do! writeInt32 3
}

如何评估此F＃工作流程？

1 个答案: