[Haskell-cafe] Re: lambda calculus and equational logic

[Brandon S Allbery KF8NH]

-----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]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at 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-----