From ... Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!uio.no!nntp.uio.no!not-for-mail From: Erik Naggum Newsgroups: comp.lang.lisp Subject: Re: Static/Strong/Implicit Typing Date: 24 Jan 2004 10:13:49 +0000 Organization: Naggum Software, Oslo, Norway Lines: 17 Message-ID: <3283928029360327KL2065E@naggum.no> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: readme.uio.no 1074939229 25870 129.240.65.201 (24 Jan 2004 10:13:49 GMT) X-Complaints-To: abuse@uio.no NNTP-Posting-Date: Sat, 24 Jan 2004 10:13:49 +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:10655 * sajiimori | If there were a statically, implicitly typed Lisp, would you use it? Common Lisp is already statically, implicitly typed. All objects are of type T, and this is very rigourously enforced. | What qualities of dynamic typing would you miss? You may have noticed that every language worth using these days has (added) an object system that carries type information in the objects. You appear to want to take a step backwards in this respect. Why? -- Erik Naggum | Oslo, Norway Act from reason, and failure makes you rethink and study harder. Act from faith, and failure makes you blame someone and push harder.