typing again

Pierpaolo BERNARDI bernardp@REDACTED
Mon Apr 7 10:12:01 CEST 2003

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

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


More information about the erlang-questions mailing list