> whilst "int.add" and "float.add" are alternative implementations of the same signature.
Maybe in a functional programming language like Haskell. But not in C++.
Maybe in a functional programming language like Haskell. But not in C++.
What I described is actually closer to ML.