In the middle of December 1998, I got involved in a discussion about python's type system that lead to a train of thought that I've played with sporadically since. My notes on the topic lived as a sub-directory here until 2015/June when I decided I was making so little progress on it, and what I had was so incomplete and incoherent, that it made little sense to publish it; and I had taken a copy some time earlier, making divergence of the two histories a possibility I'd rather avoid. So it is now gone from this web-site; however, in the unlikely event that someone was interested enough in it to go looking, I leave this stub page behind and invite interested parties to write to me and I can answer your questions or indeed show you the mess I presently have.
Written by Eddy.