F尖锐的参数化类型-笛卡尔积

问题描述

Scott Wlaschin的parser combinators教程很棒。

其中是这段代码：

type Result<'a> =
    | Success of 'a
    | Failure of string

type Parser<'a>  = Parser of (string -> Result<'a * string>)

我知道Result类型由'a进行了参数化，并且用Parser构造的对象包含从string到Result<'a * string>的函数。

我不了解<'a * string>。我知道这是笛卡尔积，Result可以是Success of 'a或Failure of string，但是Result的类型是Result<'a>而不是{{1 }}。

很明显，我缺少一些东西，感谢您的帮助！

预先感谢

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）