Re: [Caja] Important new paper: The Need for Capability Policiies
Daira Hopwood <[email protected]> Tue, 27 Aug 2013 23:53:55 +0100
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
On 15/07/13 19:54, [email protected] wrote: > Amusingly relevant: > https://mail.mozilla.org/pipermail/es-discuss/2013-July/031670.html > > Oh that's a big problem with IEEE 64 bit floats I think... Awesome: 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! What better argument could you make for fail-stop precise integer arithmetic? ("fail-stop precise" => give the exact result or fail) -- Daira Hopwood ⚥ _______________________________________________ e-lang mailing list [email protected] http://www.eros-os.org/mailman/listinfo/e-lang
signature.asc
(application/pgp-signature, 555 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBAgAGBQJSHS4DAAoJEAZ/SSCYzydizbUH/3TBMb9Jj1oDYvUtYp17lusn Hn+QVmGCmh2FL0zp2yZZvshPIHDL8M+19hDBOlUaWWHkTdNXEJaDLS8vLlajpYxg 6JNuXvaliZJbcsFqz3TXpMRif9S+ybvcSNg7muG/e0iwwlfMh7avjDyUbpZ4NH0A H7PTWvIsaOjJgiviZTONFXkYTq1nijIyg++arQJY+pq+FwPxbZPjw3OUZc0nZmU1 bOJ1JNS+mZmP7M+Ovsohy2yxit/JRK3u+KDL8IBQsMd9gzerChzuUZbPGHUl2OZQ ny196C+tqsz8DKBLF1qzyWxSFOTCtWd39fBXrwRjJXT43KBnnA9t5dZ5j7hr+yU= =hz+g -----END PGP SIGNATURE-----