From ... Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!news.tdcnorge.no!uninett.no!uio.no!nntp.uio.no!not-for-mail From: Erik Naggum Newsgroups: comp.lang.lisp Subject: Re: Static/Strong/Implicit Typing Date: 26 Jan 2004 07:52:16 +0000 Organization: Naggum Software, Oslo, Norway Lines: 45 Message-ID: <3284092336526364KL2065E@naggum.no> References: <3283928029360327KL2065E@naggum.no> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: readme.uio.no 1075103537 18510 129.240.65.201 (26 Jan 2004 07:52:17 GMT) X-Complaints-To: abuse@uio.no NNTP-Posting-Date: Mon, 26 Jan 2004 07:52:17 +0000 (UTC) Mail-Copies-To: never User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 Xref: archiver1.google.com comp.lang.lisp:10811 * 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.