小编Ale*_*uan的帖子

为什么在列表递归中无法推断元组类型?

我想通过使用正则表达式来优化原始文本,给出(patten,replacement)元组的列表.

我试图在list元素上使用patten匹配但是失败了,错误显示"这个表达式应该有类型字符串*字符串列表,但这里有类型'列表".

我该如何解决这个问题?非常感谢.

代码如下:

let rec refine (raw:string) (rules:string*string list) = 
    match rules with
    | (pattern,replacement) :: rest ->
        refine <| Regex.Replace(raw,pattern,replacement) rest
    | [] -> raw
Run Code Online (Sandbox Code Playgroud)

recursion f# functional-programming type-inference tuples

0
推荐指数
1
解决办法
412
查看次数