[Types-sig] experimenting with type checking (was: how to do a typecase?)

[Greg Stein]

On Tue, 25 Jan 2000, Vladimir Marangozov wrote:
>...
> Ah. Let me plug that it's nice to see the discussion changing its tone
> from "type constraining" to "type checking", although the two aspects are
> tightly related to each other. With the latest proposals, I think there's
> enough material already for experimenting with a basic type checker which
> could perform some ERR.

Ah! But the experimentation has begun... My prototype is available at
http://www.lyra.org/greg/python/typesys/.

I've got some changes made over the weekend to check in and re-publish.
I'll send another mail at that point. But if you're in a hurry, then go
grab a copy of the code now :-)

Cheers,
-g

-- 
Greg Stein, http://www.lyra.org/