|
|
|
|
|
|
by int_19h
419 days ago
|
|
|
It's guaranteed to be correct if you use different operators for ints and floats, which is what at least some ML dialects (notably, OCaml) do precisely so that types can be inferred from usage. That's the downside of operator overloading - since it relies on types to resolve, they need to be known and can't be inferred. |
|
|