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

Greg Stein gstein@lyra.org
Tue, 25 Jan 2000 19:26:44 -0800 (PST)

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

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 :-)


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