[Haskell-cafe] Re: A question about "monad laws"

Richard A. O'Keefe ok at cs.otago.ac.nz
Thu Feb 14 22:30:37 EST 2008

On 15 Feb 2008, at 2:03 am, Wilhelm B. Kloke wrote:
IMHO it is a perfectly good idea to use the FP processor for integer
> computations. You can use the Inexact Trap as Overflow Exception,
> a service you don't get from i386 (and most other) hardware for int
> operations.

A neat idea.  However, the i386 has the INTO instruction, the SPARC  
has the TRAPV instruction, and other processors have analogues.  Some  
have two sets of add/subtract instructions, one trapping, one not.

More information about the Haskell-Cafe mailing list