Re: type systems as libraries

It isn't as simple as it seems, plus you do not want a macro layer.
You want something that allows you to work seamlessly with the system.

In any case, you need a unification system to do this :) CL-UNIFICATION
in common-lisp.net is a step in that direction.

Cheers
--
marco




Creighton Hogg wrote:
> Hi guys,
> Has anyone ever real heard of implementing type systems and
> type inference on top of lisp as a kindof macro library?
> I'm picturing something like
> (with-hindley-milner
> (rest-o-the-code))
> Browsing a few pages of google search results I didn't find
> anything to promising. Is this just a bad idea or not done
> for some particular reason?

.