F# 模式匹配问题？

Question

我在与 F# 进行模式匹配时遇到问题。我正在构建一个 F# 库，到目前为止已经有了：

namespace parser
    module parse =
        let public y = function 
        | x when x.Contains("hi") -> "HELLO" 
        | x when x.Contains("hello") -> "HI" 
        | x -> x

但它给了我错误：根据此程序点之前的信息对不确定类型的对象进行错误查找。在此程序点之前可能需要类型注释来约束对象的类型。这可以使查找得以解决。

Answer 1

本质上，编译器不理解您希望函数的参数为​​ string 类型。基本上，您不能对隐式声明的函数参数调用实例方法。您需要使用类似以下内容的内容。

let y (value:string) = 
  match value when
  | x when x.Contains("hi") -> "HELLO" 
  | x when x.Contains("hello") -> "HI" 
  | x -> x

有趣的是，如果您没有调用实例方法，而是以其他方式使用它（类型已知），那就没问题。换句话说，假设 StringUtils 模块包含一个 Has 方法，该方法接收两个字符串并执行与 Contains 相同的检查；如果是这样，您可以使用隐式参数，因为编译器已经知道该值必须是哪种类型。

  module StringUtils =
    let has (word:string) value = word.Contains(value)

  module Parse =
    let y = function 
     | x when x |> StringUtils.has "hi" -> "HELLO" 
     | x when x |> StringUtils.has "hello" -> "HI" 
     | x -> x

显然，在很多情况下，这种事情是不必要的冗长。但它展示了 F# 类型推断行为的更重要的一点。

Answer 2

编译器想要知道 y 函数中 x 的类型，因此您需要对其进行注释，如下所示：

let y (x: string) =
  match x with
  | x when x.Contains "hi" -> "HELLO"
  | x when x.Contains "hello" -> "HI"
  | x -> x