Subject: Re: type safety in LISP
From: Erik Naggum <erik@naggum.no>
Date: 09 Dec 2002 13:55:31 +0000
Newsgroups: comp.lang.lisp
Message-ID: <3248430931911609@naggum.no>

* Pascal Costanza
| Why do you make things more complicated than they are?

  I do not.  I have asked you to state unequivocally what you would
  be happy that I called the languages I want to talk about so that
  we can rid the world of the abomination that is your incessant
  abuse of this forum with your personal problems.

  You refuse to answer.

  This must mean that you want this forum to be about your personal
  problems and your incessant whining about them and that you by far
  prefer not to be happy, but to complain, complain, complain.  This
  is consistent with the demand you make on others, but evidently not
  on yourself, to be nice -- or else!

| It's actually extremely simple: When you have a consistent
| terminology, just name it.  If you don't name it, what should one
| assume?  If you are not willing to admit that you don't have a
| consistent terminoloy, then at least just shut up.

  Then why do /you/ not simply answer the question?

  I am so tired of people who cannot accept responsibility for their
  own actions and emotions.  You demand something of me, when /you/
  come out of nowhere with your moronic complaints, and when asked
  what would make /you/ happy so we could be relieved of your moronic
  complaints, you do such a cowardly act as demanding of those /you/
  have arrested for what /you/ think is misuse to come up with what
  you obviously cannot deliver yourself.  The intellectual dishonesty
  you display defy words.

| I haven't seen any real refutation of my arguments yet.  You have
| made a mistake.  Why don't you just admit it?

  What!?  The /gall/! You really /do/ suffer from serious delusions
  of being the only one to have the right answer in this world.

  Your mistake here is to believe there is a contradiction.  What has
  kept you from admitting that?  I know -- puerile notions of pride,
  notions of "honor" that belong in cultures known to stone people
  who abuse the name of their prophet.

| This is getting boring. Just read
| http://research.microsoft.com/Users/luca/Papers/TypeSystems.pdf -
| everything's sorted out in that paper.

  That explains what somebody else would want to call it.  I ask
  /you/ what /you/ would call it, because /you/ storm in here and
  make your stupid complaints and derail discussions when your petty
  personal concerns are disturbed.  And you won't quit, either!

| There's no "Pascal Costanza terminology" with regard to type
| systems.  This is ridiculous.

  I want to know what would make /you/ happy and quit complaining.
  This is not complicated.  You refuse to answer, however.  That
  speaks volumes about your /real/ intentions in this forum: To stir
  up trouble when people do not do precisely what you want.  I have
  suspected as much when you started a war over /other/ people not
  being nice while you obviously could run the whole gamut from bad
  to downright evil.

  /You/ have complained.  /You/ get to explain what /you/ want other
  people to do.  Explicitly, no complications.  Just present us with
  the term Pascal Costanza wants everybody else to use for statically
  typed programming languages that makes it possible to talk about
  them without having Pascal Costanza complaining incessantly about
  misuse of terminology and dragging in irrelevant complications and
  moronic "contradictions" that are figments of your imagination.

  Is it /possible/ to talk about deficiencies of languages like C++,
  Java, and C# without having moronic complaints from Pascal Costanza?
  So far, it does not look like it.  If it is not possible, I shall
  have to append a disclaimer to every message I post that readers be
  advised to ignore the rants that inevitably will result from your
  mental hangup with terminology and your refusal to be explicit
  about what you want others to use instead.

  So, to repeat the very simple request: What would it /take/ for you
  to refrain from mentioning Haskell when deficiencies of statically
  typed programming languages are discussed?  Name it!

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