typing again

[Pierpaolo BERNARDI]

From: "Bengt Kleberg" <eleberg@REDACTED>

> > > "I'd love to have a type system that once I've developed 
> > > my application I can optionally employ to catch possible
> > > type errors that may exist in my code, 
 
> common lisp?

Type declaration in Common Lisp are only for
speed, they don't catch type errors.
If you declare a variable to be of a certain type,
and the variable gets assigned a value of a different 
type, the implementation is free to crash (and it
usually does in implementations compiling to native
code).

So, CL is not an answer to Kostis' wish.

P.