Bazar in Python

[Armin Rigo]

Hello everybody,

A few people have pointedly suggested that my previous C-based prototype
should be written in a higher-level language to make it more clear; not to
mention that I was short on comments in the code.

So here is a version written in Python :
  http://homepages.ulb.ac.be/~arigo/bazar/bazar2.py

This runs on any machine; no more very-low-level machine-dependent tricks. 
But its interest probably lies in the comments I tried to develop
extensively.  This should give a better and more concrete insight into
what I tried to explain in my web pages, focusing this time precisely on
the bits of category theory I use in the prototype.

After some more work and Brian's release, I believe that our two
approaches are not as far as they might seem. It would not surprise me if
my work ends up as a proposal for endowing languages like Squeak with a
topos-theoretical type system.

Python is installed on most Unix systems, and available for almost any
platform; see http://www.python.org.


Thanks for your attention,

Armin.