Re: type systems as libraries


On Thu, 29 Dec 2005, Marco Antoniotti wrote:

> 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.

Now I'm intrigued: why wouldn't you want a macro layer? In
my eye it would compile into a bunch of expressions that
call the type declarations of CL itself.
Hrmm...is it the fact that it would compile into statements
for the compiler that's the problem?
.