From ... Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!news.teledanmark.no!news.equant.no!uio.no!nntp.uio.no!ifi.uio.no!not-for-mail From: Erik Naggum Newsgroups: comp.lang.lisp Subject: Re: type safety in LISP Date: 09 Dec 2002 17:13:33 +0000 Organization: Naggum Software, Oslo, Norway Lines: 24 Message-ID: <3248442813403235@naggum.no> References: <3248291118131892@naggum.no> <3248375852987400@naggum.no> <3248381432222051@naggum.no> <878yyzsxaq.fsf@darkstar.cartan> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: maud.ifi.uio.no 1039454014 815 129.240.65.5 (9 Dec 2002 17:13:34 GMT) X-Complaints-To: abuse@ifi.uio.no NNTP-Posting-Date: 9 Dec 2002 17:13:34 GMT Mail-Copies-To: never User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.lisp:48514 * Chris Gehlker | But, with what I take to be typical hyperbole, he phrased this as | "All people who believe in the usefulness of static typing are | ignorant/deluded/incompetent. That was not even what I wrote. I think what I actually wrote would be far better example of how I phrased things than any paraphrase. Some people seem to believe that absent an explicit quantifier, they have the right to assume the universal quantifier and so believe it is fruitful to produce what they believe are counter-examples, which has the curiously anti-intellectual effect of making what was not adorned with the universal quantifier appear as though it were, effectively rendering further discussion impossible. Those who are of the strange mental bent that sees universal quantifiers wherever they see disagreement and who actually believe that counter-examples have a place in discussions should be force-fed a course on logic and have their posting privileges revoked pending passing an exam. -- 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.