Re: [Caja] Important new paper: The Need for Capability Policiies
"Karp, Alan H" <[email protected]> Wed, 28 Aug 2013 03:03:45 +0000
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <8AD823089998C849A832D86972E69CD53E6D3294@G4W3222.americas.hpqcorp.net> |
Daira Hopwood wrote: > > Nat(balance) > Nat(amount) > Nat(balance + amount) > Nat(balance) + Nat(amount) === Nat(balance + amount) > > but Nat(balance) + Nat(amount) does not represent the same value as balance + > amount! > Isn't the surprise really that Nat(balance+amount) doesn't throw but balance+amount is not in range? ________________________ Alan Karp Principal Scientist Enterprise Services, Office of the CTO Hewlett-Packard Company 1501 Page Mill Road Palo Alto, CA 94304 (650) 857-3967, fax (650) 857-7029 http://www.hpl.hp.com/personal/Alan_Karp