sml - 运算符和操作数不一致[需要相等类型]

Question

这个函数计算列表中第y个元素

fun func y xs=List.length(List.filter(fn x => x=y) xs);

val countElement = fn : ''a -> ''a ?.list -> int
func 1 [1,2,3,4];
val it = 1 : int

但是，当我写 func 1.1 [1.1,2.1,3.1,4.1];我收到错误:

stdIn:64.1-64.35 Error: operator and operand don't agree [equality type required]
operator domain: ''Z
operand:         real
in expression:
countElement 1.1

我该如何解决这个问题？

Answer 1

real 在 SML 97 中不是相等类型。这意味着您不能使用 = 来比较两个 real。