Re: Scripting vs. Systems

[danwang@nordica.CS.Princeton.EDU (Daniel Wang)]

>>>>> "Marc" == Marc Wachowitz <mw@ipx2.rz.uni-mannheim.de> writes:

    Marc> Daniel Wang (danwang@dynamic.CS.Princeton.EDU) wrote about Lisp:

    >> This is why Lisp doesn't have a type system,
        {stuff deleted}
    Marc> What it doesn't have is _enforced_ statically decidable typing.

This is my definition of a type system. I should be shot for forgetting some
people have very different ideas of what a type system is. **Statically
decidable** typing is what make "type systems" a win as it catches errors at
compile time rather than at runtime.