-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 7/15/10 23:31 , wren ng thornton wrote: > Issues of inconsistency also show up in reasoning about language-based > security systems where sometimes we may wish to allow inconsistent states > during computation so long as there is a formal guarantee that consistency > is restored soon. But overall, the question of what it means to reason > formally and correctly in the face of an inconsistent system is still an > open question.
Hm. Do databases provide any useful insights here? I'm thinking that the above sounds a lot like an uncommitted transaction. - -- brandon s. allbery [linux,solaris,freebsd,perl] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkxBH4QACgkQIn7hlCsL25V5mwCghnH2So1voCGAhnregwNb6hb/ wu8AoIMJpbFGAxtYD6hYFj5QVkli9/bs =x8pe -----END PGP SIGNATURE----- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
