如何正确丢弃F＃中的（单峰）计算结果

Question

在Haskell中，我可以写：

token: Parser a -> Parser a
token p = do space
             v <- p
             space  
             return v

在F＃中，我走了这么远：

let token = compose {
        let! _ = space
        let! v = parser
        let! _ = space
        return v
    }

换句话说，我必须介绍这个未使用的let! _ = let! _ =绑定以放弃我不需要的“空间”解析器（monad）的解析值。

如何避免在F＃中这些无用的绑定？ 我尝试使用do !，但出现错误（因为我的>>=函数未采用类型单位而是'a）：

let (>>=) (p: Parser<'a>) (f: 'a -> Parser<'b>) : Parser<'b> 

这是我的构建器定义：

type ParserComposer() = 
  member x.Bind(p, f) = p >>= f
  member x.Return(y) = ret y
  member x.Zero() = failure

我需要定义>>函数吗？ 将Combine（）添加到生成器？ 任何想法如何正确执行此操作？ 代码示例？

Answer 1

假设space的返回类型是Parser<unit> （如果它不代表返回某些结果的解析器，则很有意义），您可以编写：

let token = compose {
    do! space
    let! v = parser
    do! space
    return v
}

这只是您编写内容的语法糖-这样do! e do! e被翻译为let! _ = e let! _ = e ，然后将其翻译为parser.Bind(e, fun _ -> ...) 。 我在Try Joinads上有一个用于加法解析器的示例，该示例还定义了Combine和更多（可能）有用的东西，但是do! 关键字只需要Bind 。