|
|
|
|
|
|
by loup-vaillant
1703 days ago
|
|
|
> This still technically reduces the generality of the given function My point was that we are almost never hurt by that reduction. > you are specifying that each function cannot have multiple overloads Haskell has type classes, and if we restrict ourselves to local type inference it's fairly easy to have C++ style overloads without even that. So no, I'm not specifying such a thing. |
|
|