递归如何在 F# 中对活动模式起作用？

Question

我有以下解析整数的函数：

let rec digits = function
    | head::tail when System.Char.IsDigit(head) ->
        let result = digits tail
        (head::(fst result), snd result)
    | rest -> ([], rest)

如果我将此函数更改为主动识别器，它将不再编译。

let rec (|Digits|) = function
    | head::tail when System.Char.IsDigit(head) ->
        let result = Digits tail
        (head::(fst result), snd result)
        //          ^^^^^^       ^^^^^^ see error*
    | rest -> ([], rest)

*error FS0001: 这个表达式应该有类型 char list * 'a 但这里有类型 字符列表

Answer 1

let rec (|Digits|) = function
    | head::(Digits (a, b)) when System.Char.IsDigit(head) -> (head::a, b)
    | rest -> ([], rest)

注意： 如果您想将活动模式用作功能，您仍然可以这样做：

let rec (|Digits|) = function
    | head::tail when System.Char.IsDigit(head) ->
        let a, b = (|Digits|) tail
        (head::a, b)
    | rest -> ([], rest)