F 尖锐方法签名

Question

返回这个值的函数的第一行应该是什么？

val memberof : 'a * 'a list -> bool when 'a : 相等

我尝试了以下块无济于事。代码本身可以工作，但是当我输入解释器时，我得到了一个额外的标签。

let rec memberof (a, list)=
    match list with
        | [] ->false
        | x::xs -> if x=a then true else memberof(a, xs)

我得到的是

val memberof : a:'a * list:'a list -> bool when 'a : 相等

我怎样才能摆脱 'a 之前的 a: ？谢谢

Answer 1

类型签名中: 之前的a 和list 只是您的函数所采用的两个参数的名称。你可以看到，如果你重命名它们，签名也会改变：

> let rec memberof (element, inputList)=
    match inputList with
    | [] ->false
    | x::xs -> if x=element then true else memberof(element, xs)
  ;;    
val memberof : element:'a * inputList:'a list -> bool when 'a : equality

我不明白你为什么要去掉它们——它们只是类型签名的一个额外有用的部分。也就是说，如果您更改代码以使编译器无法直接将您使用的名称映射到参数，它将忽略它。例如：

> let rec memberof arg = 
    let (element, inputList) = arg
    match inputList with
    | [] ->false
    | x::xs -> if x=element then true else memberof(element, xs)
;;
val memberof : 'a * 'a list -> bool when 'a : equality