Subject: Re: Static/Strong/Implicit Typing
From: Erik Naggum <>
Date: 26 Jan 2004 07:52:16 +0000
Newsgroups: comp.lang.lisp
Message-ID: <>

* Erik Naggum
> Common Lisp is already statically, implicitly typed.  All objects are
> of type T, and this is very rigourously enforced.

* sajiimori
| I don't know how you could consider something a static type system
| when it doesn't offer any static distinction between objects.

  I think you may want to return to your books on types and focus on the
  definition of static type analysis.  The Common Lisp type system does
  in fact satisfy the definition of a static type system in that both
  you and the compiler always know the type of the object statically: It
  is always T, and you can never violate this static type.

> You may have noticed that every language worth using these days has
> (added) an object system that carries type information in the objects.

| Static and/or implicit typing doesn't forbid objects from carrying type
| information, so I don't see your point.

  Well, consider this: all Common Lisp objects (of type T) carry type
  information.  Are you beginning to see the point?

> You appear to want to take a step backwards in this respect.  Why?

| You folks sure are touchy -- I didn't even say that I want static or
| implicit typing.  I thought it would take at least a few posts before
| the rudeness began.

  If you are so concerned about rudeness, why are you rude towards us?
  You get one simple question about your motives, and you start talking
  about «you folks».  Your brain is malfunctioning, sajiimori.

  You have made it clear that you are incapable of processing answers to
  your questions, incapable of seeing the point I made when you type it
  in yourself, incapable of polite conversation, and so nervous about
  your objectives that you become defensive when questioned about them.

  Go away, annoying troll.

Erik Naggum | Oslo, Norway                                      2004-026

Act from reason, and failure makes you rethink and study harder.
Act from faith, and failure makes you blame someone and push harder.