On Mar 13, 2013, at 12:54 AM, "Richard A. O'Keefe" <[email protected]> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
