f# 中字符串开头的模式匹配

Question

我正在尝试匹配 f# 中字符串的开头。不确定我是否必须将它们视为字符列表或什么。任何建议将不胜感激。

这是我想要做的伪代码版本

let text = "The brown fox.."

match text with
| "The"::_ -> true
| "If"::_ -> true
| _ -> false

所以，我想查看字符串的开头并进行匹配。请注意，我没有匹配字符串列表，只是将上面的内容写为我想要做的事情的本质的想法。

Answer 1

参数化活动模式来救援！

let (|Prefix|_|) (p:string) (s:string) =
    if s.StartsWith(p) then
        Some(s.Substring(p.Length))
    else
        None

match "Hello world" with
| Prefix "The" rest -> printfn "Started with 'The', rest is %s" rest
| Prefix "Hello" rest -> printfn "Started with 'Hello', rest is %s" rest
| _ -> printfn "neither"

Answer 2

您还可以在模式上使用防护：

match text with
| txt when txt.StartsWith("The") -> true
| txt when txt.StartsWith("If") -> true
| _ -> false

Answer 3

是的，如果您想使用匹配表达式，则必须将它们视为字符列表。

只需将字符串转换为：

let text = "The brown fox.." |> Seq.toList

然后您可以使用匹配表达式，但您必须为每个字母使用字符（列表中元素的类型）：

match text with
| 'T'::'h'::'e'::_ -> true
| 'I'::'f'::_ -> true
| _ -> false

正如 Brian 建议的那样，参数化活动模式要好得多，有一些有用的模式 此处（转到页面末尾）。