Re: [Haskell-cafe] Overloading

On Mar 13, 2013, at 12:54 AM, "Richard A. O'Keefe" wrote:

The interesting challenge here is that we should have

Date + Period -> Date Date - Period -> Date Period + Date -> Date Period - Date -> ILLEGAL Period + Period -> Deriod Period - Period -> Period Date + Date -> ILLEGAL Date - Date -> Date

and _also_ (remember we are trying to beat C++ here) Int +/- Int -> Int.

I think I would also want Period * Int -> Period Period * Period -> ILLEGAL Donn