Re: type systems as libraries

Well, maybe I spoke too fast. At a certain level you will have macros,
but they should be more of the kind

(defmacro typed-cl:defun (....) ...)

I.e. substituting the main definition forms etc. etc.

At least that is how I would set it up.

However, you still have the problems of dealing with CL type system
(which was not designed with a HM type checker in mind), with the
problem of run-time type checks and with the problem of run-time
redefinition of various things.

Cheers
--
Marco

.