fsharp lang中的限制类型系统吗？

Question

在f＃中用于操作“ +”功能签名是

5+6 //int->int->int

但是当我编写如下代码时，它正在工作

6.0 + 3.0 //float->float->float

在OCaml中，“ +”与“ +”不同。

5 + 5 //int->int->int
5.0 +. 5.0 // float->float->float

比f＃更完美，更受限制为什么f＃这种非完美的类型签名？以及为什么f＃不支持“ +”？

因此对f＃:(]的功能感到困惑。

在f＃中用于操作“ +”的函数签名是5 + 6 // int-> int-> int，但是当我编写如下代码时，它的工作方式是6.0 + 3.0 // float-> float-> float OCaml“ +”是...

Answer 1

与OCAML不同，F＃通过使用称为静态解析类型参数的功能来进行泛型算术，该功能类似于Haskell类型类。