[Stackless] Re: Stackless Python Logic Variables?

[David Hopwood]

-----BEGIN PGP SIGNED MESSAGE-----

[cross-posted to <e-lang at mail.eros-os.org> from the Mozart/Oz list]

Denys Duchier wrote:
> jabowery at technicalpursuit.com (James A. Bowery) writes:
> 
> >> >     Stackless Python [1] is an ideal environment within which to
> >> >     implement logic variables for thread synchroniziation [2].
> >> >     The 3 additions required for this are 1) the addition of the
> >> >     "unknown" keyword that declares a logic variable, 2) the
> >> >     "final" keyword that declares a logic variable to be single-
> >> >     assignment and 3) the "=:=" operator that performs a
> >> >     unification of a logic variable with an expression.
> 
> I don't think that would be the way to do it.  This just doesn't fit
> the Python way.
> 
>     Q. What is the expected benefit?
>     A. Transparent synchronization on data.
> 
> In this regard, the better generalization (which for us was started in
> Mozart and pursued in Alice) is the dual notion of future/promise and
> does not apeal to the notion of logic variable nor of unification.

For an example of a language that supports dataflow variables/promises
without unification, see E (www.erights.org; I suggest starting with
<http://www.erights.org/elang/intro/quickE.html>). I agree that this
approach may be better suited for an extension to Python.

- -- 
David Hopwood <david.hopwood at zetnet.co.uk>

Home page & PGP public key: http://www.users.zetnet.co.uk/hopwood/
RSA 2048-bit; fingerprint 71 8E A6 23 0E D3 4C E5  0F 69 8C D4 FA 66 15 01
Nothing in this message is intended to be legally binding. If I revoke a
public key but refuse to specify why, it is because the private key has been
seized under the Regulation of Investigatory Powers Act; see www.fipr.org/rip


-----BEGIN PGP SIGNATURE-----
Version: 2.6.3i
Charset: noconv

iQEVAwUBPuaEUDkCAxeYt5gVAQEm3QgAy5zaeI97qQrfr2B5oBRTczWW69AXVqKc
8GyDhCb+Unbk1mCGIGnUhDwiSuQkGvo61i5B950DysOACc8AzSaIElMrhQF1L7Kc
zxel8t4nI7JC6780ZJPMfjzoLlBdJics08EJIo2WGMnMVKPMY3kqC1XyVOEQpKGL
1rK5HSO5Qp2I/Jod0t72CwuAa0B7kWExOSwbeFzmj74ieJUZquFIIv+7HmK08aB5
3h1a45MnYfy5xUxdyRgJF5wEtiya1mQ7+M+FGOTtMTWDupQ7rueIPucYhEXi7/gj
X23jYNOWy0nbI6o4ndnov4RrOFNuCw/pZfRo+y4s1DlueCeMeL9eXA==
=dGo6
-----END PGP SIGNATURE-----
_______________________________________________
Stackless mailing list
Stackless at www.tismer.com
http://www.tismer.com/mailman/listinfo/stackless