Re: Scripting vs. Systems

[Stefan Wille <Stefan_Wille@public.uni-hamburg.de>]

Hello Marc
 
> > This is why Lisp doesn't have a type system,
> 
> Common Lisp does have an expressive type system (and good implementations
> use this plus considerable type inference both for optimization and for type
> checking). What it doesn't have is _enforced_ statically decidable typing.
> 
> -- Marc Wachowitz <mw@ipx2.rz.uni-mannheim.de>


Your answer makes me interested in learning more on type systems 
that do not enforce statically decidable typing.

Could You (or someone else) please point out some good books that
cover this topic? 

Thank you very much

Stefan