Subject: Re: type safety in LISP
From: Erik Naggum <>
Date: 09 Dec 2002 17:13:33 +0000
Newsgroups: comp.lang.lisp
Message-ID: <>

* 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.