Question

此编译器类似 :

let test Xf Yf = Xf + Yf

此编译器不象 :

let test Xfd Yfd = Xfd + Yfd

Warning: Uppercase variable identifiers should not generally be used in patterns, and may indicate a misspelt pattern name.

也许我没有好好地谷歌, 但我一直没有找到任何能解释为什么功能参数就是如此的原因...

Answer 1

我同意这个错误信息看起来有点神秘, 但有一个很好的动机。根据 F# 命名指南, 歧视工会的案例应该使用 < code> PascalCase 来命名, 而编译者正在试图确保您不会在模式匹配时意外错用一个案例的名称。

例如,如果有下列结合:

type Side = 
  | Left 
  | Right

当参数为 Left 和“ wrong!” 时, 您可以写入以下功能, 打印“ ok ” 。否则 :

let foo a = 
  match a with 
  | Lef -> printfn "ok"
  | _ -> printfn "wrong!"

代码中有一个打字符 - 我写了 < code> Lef - 但代码仍然有效, 因为 < code> Lef 可以被解释为一个新的变量, 因此匹配的侧面会指派给 < code> Lef , 并且总是运行第一个大小写。关于大写识别符的警告有助于避免这种情况。

Answer 2

F## 试图针对活动模式执行案件规则,

let f X = 
    match X with
    |X -> 1
    |_ -> 2

这是相当混乱的。另外, 函数参数与模式相似, 您可以做

let f (a,b,_) = a,b

例如,不清楚为什么第三字母触发警告