|
|
|
|
|
|
by tuukkah
2536 days ago
|
|
|
Overloading does not conflict with type inference: it just means that type annotations are sometimes necessary to get down to concrete types for execution. From "f(x)" we can infer that the type of x is one of f's overloaded argument types. |
|
|