Python binaries with VC++ 8.0?
Tue Feb 10 02:48:44 EST 2009
In case anyone is interested: Gideon Smeding of the University of
Utrecht has written a masters' thesis titled "An executable
operational semantics for Python". It is actually a formal semantics
for a Python subset called minpy. Per the blurb, the semantics are
described in literate Haskell that is compiled to an interpreter as
well as a formal specification. Somehow there has to be a a reference
about "unless you're Dutch" to be made about this ;-).
Further info is at:
I found this link via the Haskell Weekly News, http://sequence.complete.org .
More information about the Python-list