compiler-errors - 错误: Type constraint mismatch when applying the default type 'int * int' for a type inference variable [duplicate]

Question

This question already has answers here:

F# function calling syntax confusion

(3个答案)


5年前关闭。




我有一个简单的公式来添加2个数字:

let add a b = a + b
let p = add(5,6)

这将导致以下编译器错误消息:

错误:将默认类型'int * int'应用于类型推断变量时，类型约束不匹配。类型'(int * int)'不支持任何名为'+'的运算符考虑添加更多类型约束

以下内容在交互式窗口中可以正常工作，但我也需要它在我的编译器中也可以工作:

let add ax bx = ax + bx;;

我看了一个类似的问题(最终答案为-1):

F# and type inference: "int list" does not support "+"

答案是仅在末尾添加“+ 0”吗？

let add a b = a + b + 0

这听起来像是黑客，带有不必要的处理开销。

最佳答案

您在该行中将元组传递给add函数:

let p = add(5,6)

这就是为什么它不起作用。在F＃中，元组由 ,(逗号)符号分隔。尝试像这样重写它以传递单个值而不是元组(由whitepsace分隔)

let p = add 5 6

关于compiler-errors - 错误: Type constraint mismatch when applying the default type 'int * int' for a type inference variable [duplicate]，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/29366691/

上一篇：compiler-errors - 使用cygwin安装SRILM并获取 “iconv.h: No such file or directory # include_next <iconv.h>”错误

下一篇：c# - 使用NUnit出现不一致的可访问性错误，但仅使用MSTest可以正常编译吗？

Answer 1

您在该行中将元组传递给add函数:

let p = add(5,6)

这就是为什么它不起作用。在F＃中，元组由 ,(逗号)符号分隔。尝试像这样重写它以传递单个值而不是元组(由whitepsace分隔)

let p = add 5 6