Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
type safety in LISP
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  Messages 176 - 200 of 259 - Collapse all  -  Translate all to Translated (View all originals) < Older  Newer >
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Erann Gat  
View profile  
 More options Dec 13 2002, 4:56 pm
Newsgroups: comp.lang.lisp
From: g...@jpl.nasa.gov (Erann Gat)
Date: Fri, 13 Dec 2002 13:21:45 -0800
Local: Fri, Dec 13 2002 4:21 pm
Subject: Re: type safety in LISP
In article <TLrK9.24516$q52.1024...@news2.telusplanet.net>, "Wade

Humeniuk" <w...@nospam.nowhere> wrote:
> But my statement that the Lisp projects at JPL were successful is
> mostly political.  Its the perception and statments made about those
> projects that  my statement is meant to counteract.  IF you support
> something like Lisp, do a good job and THEN accept criticism,
> and even voice it back then you are contributing to the negative
> politics about Lisp.  When I read Eran's accounts of using Lisp
> at JPL, I could see nothing but success.  He
> got the jobs done, quickly, on-time, within requirements.

But those are all technical and managerial criteria, not political ones.

> It was a little confusing to see him say that they were not
> successful.  My only conclusion so far is that he was
> politically jumped on and (sadly) it seems he has accepted
> much of that beating as his fault (or Lisp's fault).

Actually, Wade, I blame you personally.

;-) ;-) ;-)

Seriously, I don't blame myself (I'm actually very proud of my role in
getting Lisp into space, and there's very little I would change if I had
it to do over again) and I don't blame Lisp.  I don't blame anyone (with
one very narrow exception).  Shit happens.  The management giveth, and the
management taketh away.  :-)

I'm not agitating for change because I'm bitter, I'm agitating for change
because I have a problem to solve and I think change is necessary to solve
it.  That's the long and the short of it.

> It's gotta
> wear anybody down and my statement is meant as an attempt
> at compassion to pull a bad situation out of the fire by not
> giving into the negative rhetoric.

I appreciate that.  There's always a fine line to walk between positive
and negative feedback.  Too much positive feedback and people get
complacent.  Too much negative feedback and people get discouraged.  It
takes the right balance to keep people motivated.  (Gat's First Law at
work.)  From what I see in the Lisp community things are tilted too far
towards the positive-feedback/complacent side of the scale, because
negative feedback from outsiders is forcefully rejected.  My hope is that
I'm enough of an insider that I won't be beaten off with a stick (because
if I get drummed out of the Lisp community I'll have to go learn Haskell
or something equally distasteful ;-) ;-) ;-)

(Goodness, I'm in a mood today.)

E.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Joe Marshall  
View profile  
 More options Dec 13 2002, 5:13 pm
Newsgroups: comp.lang.lisp
From: Joe Marshall <j...@ccs.neu.edu>
Date: 13 Dec 2002 17:13:26 -0500
Local: Fri, Dec 13 2002 5:13 pm
Subject: Re: type safety in LISP

g...@jpl.nasa.gov (Erann Gat) writes:
> Look, my managers are not idiots.  

I read http://www.flownet.com/gat/jpl-lisp.html

Your managers seem to have abandoned a language that has produced
award winning software with the ability to diagnose and repair errors
on *extremely* remote systems in favor of a brittle language that has
a track record of incomplete projects and expensive code.

That fits *my* definition of `idiot'.

> Orbitz is about the only real Lisp success story I know of nowadays.
> "What about ViaWeb?" you say?  Well, ViaWeb was bought by Yahoo.  So now
> Yahoo is happily using Lisp?  Well, no, actually they've been desperately
> trying to get rid of the Lisp code and replace it with C++.  That is not a
> fact that's going to help make the case.

This must be because of the numerous success stories concerning
rewriting Lisp projects in C++.

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Wade Humeniuk  
View profile  
 More options Dec 13 2002, 5:33 pm
Newsgroups: comp.lang.lisp
From: "Wade Humeniuk" <w...@nospam.nowhere>
Date: Fri, 13 Dec 2002 22:33:45 GMT
Local: Fri, Dec 13 2002 5:33 pm
Subject: Re: type safety in LISP

"Erann Gat" <g...@jpl.nasa.gov> wrote in message

news:gat-1312021321450001@k-137-79-50-101.jpl.nasa.gov...

> In article <TLrK9.24516$q52.1024...@news2.telusplanet.net>, "Wade
> Humeniuk" <w...@nospam.nowhere> wrote:

> > But my statement that the Lisp projects at JPL were successful is
> > mostly political.  Its the perception and statments made about those
> > projects that  my statement is meant to counteract.  IF you support
> > something like Lisp, do a good job and THEN accept criticism,
> > and even voice it back then you are contributing to the negative
> > politics about Lisp.  When I read Eran's accounts of using Lisp
> > at JPL, I could see nothing but success.  He
> > got the jobs done, quickly, on-time, within requirements.

> But those are all technical and managerial criteria, not political ones.

Really???  Name a political criteria.  I will try one, getting your
fellow workers to accept Lisp as a viable programming language?

> > It was a little confusing to see him say that they were not
> > successful.  My only conclusion so far is that he was
> > politically jumped on and (sadly) it seems he has accepted
> > much of that beating as his fault (or Lisp's fault).

> Actually, Wade, I blame you personally.

> ;-) ;-) ;-)

In the end they will all blame the devil, oops..., I mean Wade.

Wade


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Erann Gat  
View profile  
 More options Dec 13 2002, 5:55 pm
Newsgroups: comp.lang.lisp
From: g...@jpl.nasa.gov (Erann Gat)
Date: Fri, 13 Dec 2002 14:05:01 -0800
Local: Fri, Dec 13 2002 5:05 pm
Subject: Re: type safety in LISP
In article <3DFA55D1.2050...@nyc.rr.com>, Kenny Tilton

<ktil...@nyc.rr.com> wrote:
> (c) back off, man.

Sorry.  My bad.

> The BDFL's own words make clear he just wants to keep things
> simple.

IMO keeping things simple is not at odds with being a serious programming
language.  Having written one deployed application entirely in Python (the
Google Translation Console) I consider it a serious programming language,
and the best overall choice for many applications (though not, alas,
programming spacecraft, or I wouldn't be here).

> Last of all, I said the same thing on c.l.p, and no one took
> issue with it.

OK.  I apologise for my rant.  I was out of line.

E.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Erann Gat  
View profile  
 More options Dec 13 2002, 7:55 pm
Newsgroups: comp.lang.lisp
From: g...@jpl.nasa.gov (Erann Gat)
Date: Fri, 13 Dec 2002 16:00:02 -0800
Local: Fri, Dec 13 2002 7:00 pm
Subject: Re: type safety in LISP

In article <k7ida7p5....@ccs.neu.edu>, Joe Marshall <j...@ccs.neu.edu> wrote:
> g...@jpl.nasa.gov (Erann Gat) writes:

> > Look, my managers are not idiots.  

> I read http://www.flownet.com/gat/jpl-lisp.html

> Your managers seem to have abandoned a language that has produced
> award winning software with the ability to diagnose and repair errors
> on *extremely* remote systems in favor of a brittle language that has
> a track record of incomplete projects and expensive code.

> That fits *my* definition of `idiot'.

First, making one idiotic decision doesn't make someone an idiot.

Second, whether abandoning Lisp is idiotic really depends on the spin you
put on it.  With the spin you chose (which is certainly the spin I would
choose) it does look like an idiotic decision.  But here's an alternative
spin: they abandoned a language which had a track record on only one major
project, and on that project it was a neverending management nightmare
because the Lisp programmers seemed to think that they were smarter than
everyone else.  The result was a breakdown in team coherence and a
year-long delay in mission launch (which is a very serious matter I might
add).  And then in the end the code was buggy and required ground
intervention in order to save the spacecraft.

See?  When you look at it like that it suddenly doesn't seem quite so
idiotic, does it?  I'm not saying this is a fair view of the situation (it
isn't), but it is defensible, and that's how a lot of people around here
remember it.

E.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Bulent Murtezaoglu  
View profile  
 More options Dec 13 2002, 8:24 pm
Newsgroups: comp.lang.lisp
From: Bulent Murtezaoglu <b...@acm.org>
Date: 14 Dec 2002 03:23:32 +0200
Local: Fri, Dec 13 2002 8:23 pm
Subject: Re: type safety in LISP

>>>>> "JM" == Joe Marshall <j...@ccs.neu.edu> writes:

    EN> ...  So now Yahoo is happily using Lisp?  Well,
    EN> no, actually they've been desperately trying to get rid of the
    EN> Lisp code and replace it with C++.  That is not a fact that's
    EN> going to help make the case.

    JM> This must be because of the numerous success stories
    JM> concerning rewriting Lisp projects in C++.

Please don't ever quit posting here Joe.  Laughter aside, I have heard
this rumor about yahoo wanting to rid itself of Lisp before.  Why?
[Where] is this written up?

cheers,

BM


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Coby Beck  
View profile  
 More options Dec 13 2002, 8:29 pm
Newsgroups: comp.lang.lisp
From: "Coby Beck" <cb...@mercury.bc.ca>
Date: Sat, 14 Dec 2002 12:26:24 +1100
Local: Fri, Dec 13 2002 8:26 pm
Subject: Re: type safety in LISP

"Erann Gat" <g...@jpl.nasa.gov> wrote in message

news:gat-1312021300260001@k-137-79-50-101.jpl.nasa.gov...

[useless "me too!" post follows]

I agree, that was very well put...should be pinned on a wall here, somewhere
;)

--
Coby Beck
(remove #\Space "coby 101 @ bigpond . com")


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Scott Schwartz  
View profile  
 More options Dec 13 2002, 10:23 pm
Newsgroups: comp.lang.lisp
From: Scott Schwartz <"schwartz+@usenet "@bio.cse.psu.edu>
Date: 13 Dec 2002 22:23:13 -0500
Local: Fri, Dec 13 2002 10:23 pm
Subject: Re: type safety in LISP

Kenny Tilton <ktil...@nyc.rr.com> writes:
> Genius is in the details. Python should not even come up when the
> question is What language compares with Lisp?

Right, because Python gets the first order details right (a language
that "would appeal to Unix/C hackers"), while Lisp is still mired in
the idea that the whole world is an interactive user sitting at the
console of a Lisp Machine (tm).

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Kenny Tilton  
View profile  
 More options Dec 13 2002, 11:27 pm
Newsgroups: comp.lang.lisp
From: Kenny Tilton <ktil...@nyc.rr.com>
Date: Sat, 14 Dec 2002 04:25:48 GMT
Local: Fri, Dec 13 2002 11:25 pm
Subject: Re: type safety in LISP

Scott Schwartz wrote:
> Kenny Tilton <ktil...@nyc.rr.com> writes:

>>Genius is in the details. Python should not even come up when the
>>question is What language compares with Lisp?

> Right, because Python gets the first order details right (a language
> that "would appeal to Unix/C hackers"), while Lisp is still mired in
> the idea that the whole world is an interactive user sitting at the
> console of a Lisp Machine (tm).

EXEs? We don't nee dno stinkin' EXEs!

:)

--

  kenny tilton
  clinisys, inc
  http://www.tilton-technology.com/
  ---------------------------------------------------------------
"Cells let us walk, talk, think, make love and realize
  the bath water is cold." -- Lorraine Lee Cudmore


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Carl Shapiro  
View profile  
 More options Dec 14 2002, 2:59 am
Newsgroups: comp.lang.lisp
From: Carl Shapiro <cshapiro+s...@panix.com>
Date: 14 Dec 2002 02:59:54 -0500
Local: Sat, Dec 14 2002 2:59 am
Subject: Re: type safety in LISP
Scott Schwartz <"schwartz+@usenet "@bio.cse.psu.edu> writes:

> Right, because Python gets the first order details right (a language
> that "would appeal to Unix/C hackers"), while Lisp is still mired in
> the idea that the whole world is an interactive user sitting at the
> console of a Lisp Machine (tm).

Yawn.

It is quite clear that you have not investigated the way contemporary
Lisp systems interoperate with their host environment (nor have you
ever been the user of a Lisp Machine).


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Duane Rettig  
View profile  
 More options Dec 14 2002, 3:01 am
Newsgroups: comp.lang.lisp
From: Duane Rettig <du...@franz.com>
Date: Sat, 14 Dec 2002 08:00:04 GMT
Local: Sat, Dec 14 2002 3:00 am
Subject: Re: type safety in LISP

g...@jpl.nasa.gov (Erann Gat) writes:
> Comparison with airplanes is a good analogy.  Even though commercial
> aircraft are all "basically" the same as their 1960's versions, you would
> never mistake a 777 for a 707.  The new jets are quieter, they have glass
> cockpits, etc. etc.  Even the aerodynamics have incremental improvements,
> e.g. winglets.

Ah, yes, the 777.  A great machine, built by Boeing, using ICAD to design
it (running on top of Allegro CL)...

--
Duane Rettig    du...@franz.com    Franz Inc.  http://www.franz.com/
555 12th St., Suite 1450               http://www.555citycenter.com/
Oakland, Ca. 94607        Phone: (510) 452-2000; Fax: (510) 452-0182  


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Erann Gat  
View profile  
 More options Dec 14 2002, 3:57 am
Newsgroups: comp.lang.lisp
From: g...@jpl.nasa.gov (Erann Gat)
Date: Sat, 14 Dec 2002 00:46:48 -0800
Local: Sat, Dec 14 2002 3:46 am
Subject: Re: type safety in LISP

In article <87pts5tmuj....@acm.org>, Bulent Murtezaoglu <b...@acm.org> wrote:
> >>>>> "JM" == Joe Marshall <j...@ccs.neu.edu> writes:

>     EN> ...  So now Yahoo is happily using Lisp?  Well,
>     EN> no, actually they've been desperately trying to get rid of the
>     EN> Lisp code and replace it with C++.  That is not a fact that's
>     EN> going to help make the case.

>     JM> This must be because of the numerous success stories
>     JM> concerning rewriting Lisp projects in C++.

> Please don't ever quit posting here Joe.  Laughter aside, I have heard
> this rumor about yahoo wanting to rid itself of Lisp before.  Why?
> [Where] is this written up?

First, that should be EG, not EN.  (!)

Second, Yahoo's desire to get rid of Lisp is not documented.  I know it's
so because I interviewed for the job of porting the code to C++.  (I
didn't get the job because I could not keep a straight face during the
interview, and eventually ran screaming from the room.  Well, not quite,
but close.)

E. (G.)


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Erann Gat  
View profile  
 More options Dec 14 2002, 3:57 am
Newsgroups: comp.lang.lisp
From: g...@jpl.nasa.gov (Erann Gat)
Date: Sat, 14 Dec 2002 00:51:00 -0800
Subject: Re: type safety in LISP

In article <4lm2tcakz....@beta.franz.com>, Duane Rettig <du...@franz.com> wrote:
> Ah, yes, the 777.  A great machine, built by Boeing, using ICAD to design
> it (running on top of Allegro CL)...

So Boeing uses Lisp?  Now *that* would carry some weight around here.  Can
you provide some more details?

E.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Duane Rettig  
View profile  
 More options Dec 14 2002, 5:01 am
Newsgroups: comp.lang.lisp
From: Duane Rettig <du...@franz.com>
Date: Sat, 14 Dec 2002 10:00:02 GMT
Local: Sat, Dec 14 2002 5:00 am
Subject: Re: type safety in LISP

g...@jpl.nasa.gov (Erann Gat) writes:
> In article <4lm2tcakz....@beta.franz.com>, Duane Rettig <du...@franz.com> wrote:

> > Ah, yes, the 777.  A great machine, built by Boeing, using ICAD to design
> > it (running on top of Allegro CL)...

> So Boeing uses Lisp?  Now *that* would carry some weight around here.  Can
> you provide some more details?

Actually, I was just going to give you a URL, but when I looked it
up there were too many of them.  Go to our website and click the
"Search" button at the top, and type Boeing into the "search the Franz
Inc Website" box.  There are quite a few divisions of Boeing that use
our product, some directly, some indirectly (through ICAD) and some
both.  Some of these divisions list their successes, including the 777
designers.

--
Duane Rettig    du...@franz.com    Franz Inc.  http://www.franz.com/
555 12th St., Suite 1450               http://www.555citycenter.com/
Oakland, Ca. 94607        Phone: (510) 452-2000; Fax: (510) 452-0182  


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Nicolas Neuss  
View profile  
 More options Dec 14 2002, 5:15 am
Newsgroups: comp.lang.lisp
From: Nicolas Neuss <Nicolas.Ne...@iwr.uni-heidelberg.de>
Date: 14 Dec 2002 11:06:58 +0100
Local: Sat, Dec 14 2002 5:06 am
Subject: Re: type safety in LISP

g...@jpl.nasa.gov (Erann Gat) writes:
> spin: they abandoned a language which had a track record on only one major
> project, and on that project it was a neverending management nightmare
> because the Lisp programmers seemed to think that they were smarter than
> everyone else.  The result was a breakdown in team coherence and a
> year-long delay in mission launch (which is a very serious matter I might
> add).

I guess that working in team with you might be a nightmare. That does
not make working together with any Lisp programmer a nightmare,
though.

Nicolas.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Alain Picard  
View profile  
 More options Dec 14 2002, 6:10 am
Newsgroups: comp.lang.lisp
From: Alain Picard <apicard+die-spammer-...@optushome.com.au>
Date: Sat, 14 Dec 2002 13:35:49 +1100
Local: Fri, Dec 13 2002 9:35 pm
Subject: Re: type safety in LISP

g...@jpl.nasa.gov (Erann Gat) writes:
> From where I sit, yes.  I'm in the aerospace industry, which is run by
> people who don't understand software and who are intensely conservative
> (and justifiably so).  In this business, niche == dead.

This makes no sense to me.  You are in an industry with extraordinary
requirements, so it should be easy to make the case that you need
extraordinary tools.  Indeed, it seems almost self-evident.

I'm in a much different sort of industry; a small startup.  My argument
for using lisp is: "If you want to outcompete the herd, you can't do/use
what the herd uses: you have to be smarter and faster".  Again, to me, this
is self-evident, and my managers agree with me and let me choose the
technologies on their technological merit.

Perhaps all these companies refusing to use anything but Java are all,
in essence, afraid of real competition?


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Paolo Amoroso  
View profile  
 More options Dec 14 2002, 8:33 am
Newsgroups: comp.lang.lisp
From: Paolo Amoroso <amor...@mclink.it>
Date: Sat, 14 Dec 2002 14:14:33 +0100
Local: Sat, Dec 14 2002 8:14 am
Subject: Re: type safety in LISP

On Fri, 13 Dec 2002 20:00:03 GMT, Duane Rettig <du...@franz.com> wrote:
> Paolo Amoroso <amor...@mclink.it> writes:
[...]
> > Maybe Common Lisp [was|is|will be] mature enough[*], and other languages
> > are just slowly catching up.

> And this can and should easily be a source of pride, and not scorn.  We

Yes, this is what I meant.

> Don't get discouraged.  Let me know how I can help.  And thanks for doing

Who said I am discouraged? :)

Paolo
--
EncyCMUCLopedia * Extensive collection of CMU Common Lisp documentation
http://www.paoloamoroso.it/ency/README


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Paolo Amoroso  
View profile  
 More options Dec 14 2002, 8:33 am
Newsgroups: comp.lang.lisp
From: Paolo Amoroso <amor...@mclink.it>
Date: Sat, 14 Dec 2002 14:14:34 +0100
Local: Sat, Dec 14 2002 8:14 am
Subject: Re: type safety in LISP

First you asked for information. When provided with some information, you
demand more. This is increasingly looking like a moving target--a.k.a. a
strawman.

If managers need that amount of detail, they should probably be willing to
hire those market analysts who sell reports printed on glossy paper.

Paolo
--
EncyCMUCLopedia * Extensive collection of CMU Common Lisp documentation
http://www.paoloamoroso.it/ency/README


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Paolo Amoroso  
View profile  
 More options Dec 14 2002, 8:33 am
Newsgroups: comp.lang.lisp
From: Paolo Amoroso <amor...@mclink.it>
Date: Sat, 14 Dec 2002 14:20:34 +0100
Local: Sat, Dec 14 2002 8:20 am
Subject: Re: type safety in LISP

On Sat, 14 Dec 2002 00:51:00 -0800, g...@jpl.nasa.gov (Erann Gat) wrote:
> So Boeing uses Lisp?  Now *that* would carry some weight around here.  Can
> you provide some more details?

See:

  Knowledge-Based Applications That Employ Dynamic Objects Technology
  http://www.franz.com/support/tutorials/docompanies.lhtml

  CL/CLOS and C++ - An Overview of C++: The Good, the Bad and the Ugly

http://www.franz.com/resources/educational_resources/clos_versus_othe...

Paolo
--
EncyCMUCLopedia * Extensive collection of CMU Common Lisp documentation
http://www.paoloamoroso.it/ency/README


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Greg Menke  
View profile  
 More options Dec 14 2002, 9:15 am
Newsgroups: comp.lang.lisp
From: Greg Menke <gregm-n...@toadmail.com>
Date: 14 Dec 2002 09:15:04 -0500
Local: Sat, Dec 14 2002 9:15 am
Subject: Re: type safety in LISP

g...@jpl.nasa.gov (Erann Gat) writes:

> > What is the right track?  This is a serious question.  Perhaps you
> > could flesh out that concept?  Is being in a niche the wrong track?

> From where I sit, yes.  I'm in the aerospace industry, which is run by
> people who don't understand software and who are intensely conservative
> (and justifiably so).  In this business, niche == dead.

I work in aerospace too and the industry funds a lot of niche markets-
look at all the funky radhard processors and custom hardware that ends
up being used on spacecraft.  While I agree people in the space racket
are often hysterically conservative and lots of projects act more like
cargo cults than groups of rational people, they also fund lots of
things that would otherwise be long abandoned.

The recent evolution of missions to faster processors and bigger
memories will open up the possiblities for very different and much
more complicated flight code.  When you don't have to count very
nearly every cycle and shoehorn code into little bits of memory,
something like CL becomes lots more palatable, and when you start
raising the spectre of updating the system while in operation, quite
attractive.

Gregm


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Erik Naggum  
View profile  
 More options Dec 14 2002, 10:01 am
Newsgroups: comp.lang.lisp
From: Erik Naggum <e...@naggum.no>
Date: 14 Dec 2002 15:01:45 +0000
Local: Sat, Dec 14 2002 10:01 am
Subject: Re: type safety in LISP
* Alain Picard
| Perhaps all these companies refusing to use anything but Java are
| all, in essence, afraid of real competition?

  Perhaps they are mortally afraid of betting their money on the
  competence of their programmers?

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


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Tim Bradshaw  
View profile  
 More options Dec 14 2002, 10:35 am
Newsgroups: comp.lang.lisp
From: Tim Bradshaw <t...@cley.com>
Date: 14 Dec 2002 14:59:01 +0000
Local: Sat, Dec 14 2002 9:59 am
Subject: Re: type safety in LISP

* Duane Rettig wrote:
> Because what other people are doing doesn't affect Erann's efforts
> in his own local anti-lisp section of the world.

No, I think it's more complicated than that.  I think the real answer
is `because unless it's a large company, that I've heard of, who make
extensive use of Lisp in a product/system I've heard of, it doesn't
count'.  Or something like that.  2 years ago everyone would have been
trumpeting Enron's use of Lisp...

--tim


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Wade Humeniuk  
View profile  
 More options Dec 14 2002, 10:55 am
Newsgroups: comp.lang.lisp
From: "Wade Humeniuk" <w...@nospam.nowhere>
Date: Sat, 14 Dec 2002 15:55:35 GMT
Local: Sat, Dec 14 2002 10:55 am
Subject: Re: type safety in LISP

"Duane Rettig" <du...@franz.com> wrote in message news:4smx1kf5u.fsf@beta.franz.com...
> No, it's not good enough; his Lisp projects at JPL were _not_ a success.
> We need to be careful not to make the mistake of couching our definition
> of success in the technical realm only, because that is what has always
> gotten Lisp into trouble.  It is precisely the arrogance we have (I
> include myself in this) of thinking that Lisp's technical superiority
> automatically makes it successful, or _should_ make it successful, that
> eventually makes us blind to other aspects of success and failure, including
> timliness, out-and-out politics, prejudice, NIH, and other factors.  We
> must take _all_ factors into consideration when viewing a project as a
> success or not, and work on our weak areas.

I am really trying to get my head around what you are saying.  Are you
saying financial success and the prestige of working on "important"
projects?  You do not seem to be talking about success of Lisp but
success with Lisp.

It seems to be the essence of the American definition of success.  Competition,
eating your young and weak.  I worked for a small company up here
in Canada with some American clients.  The boss sat us all down and said,
"Don't make any mistakes with our clients, they will use it against us".  And
you know, they did, they would rub the mistakes right in our faces.  Good
thing my ego was not dependent on their approval.

Wade


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Tim Bradshaw  
View profile  
 More options Dec 14 2002, 11:24 am
Newsgroups: comp.lang.lisp
From: Tim Bradshaw <t...@cley.com>
Date: 14 Dec 2002 16:22:57 +0000
Local: Sat, Dec 14 2002 11:22 am
Subject: Re: type safety in LISP

* Erann Gat wrote:
> Who is "we"?

Cley (and indirectly its clients, who are generally larger than us (:-)).

> Look, my managers are not idiots.  It's not enough to say that WebSnoz.com
> is using Lisp.  They want to know: who is WebSnoz.com?  Are they a real
> company, or just a guy in a garage with a Web page?  Are they really using
> it as a matter of corporate policy, or do they just have one nut in the
> research department who happens to buy a copy of ACL?  Are they happy with
> their decision?

We don't even have a web page, really: the one we have is just there
because we felt bad about having www.cley.com not respond...

But I understand your point - it clearly matters whether Lisp is
actually used in anger by people who are making money.  Except, maybe
it doesn't...

Here's my theory about these kind of questions.  Really, what is being
asked here is `OK, so you're suggesting that we do x, well, before we
make a decision I'd like to know who else is doing x?'.  Perhaps an
expansion of the question would be `who else that is like us is doing
x?'. Why ask this question?  I think the reason is often `because we
don't want to do anything unusual, we want to be just like other
people'.  If that's what is driving these questions, is it a
reasonable attitude? Sometimes it probably is: `what accounting system
do other companies our size use?  Probably we should use that too'
seems pretty reasonable (it's certainly how *we* decided what
accounting package to buy!). But in other cases it reeks of
cowardice or stupidity.

The cowardice case is this: `we're a company doing x, we have n
competitors and there are a bunch of other companies about the same
size: let's look at what they do, and do the same thing'.  The likely
outcome of this is that you'll do about as well as they do, and you'll
probably stay in business, and you didn't have to think too hard to do
it.  Of course, if `what they do' is something that's very
inefficient, you'll be doomed to be inefficient too, but at least
you'll only be as inefficient as they are.  In the case of software,
well, your projects will be late, over budget and 80% will just fail,
like theirs do.  But no one ever got sacked for choosing C++.

The stupidity case is this: `we're an organisation that put people on
the moon, and now wants to land a man on Mars in the next 10 years:
there aren't any other people doing what we do, but lets look at some
other people who are doing something different and much less
demanding, but perhaps we can convince ourselves that they're like us
in some nebulous sense, and see what they do, and do that'. This
organisation has forgotten how it got people to the moon.

Me, I'd like to work somewhere where people made decisions based on
their own opinions, rather than herd instinct or stupidity.
Unfortunately it's hard to find such places, unless you make them up
yourself.

--tim


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Pascal Costanza  
View profile  
 More options Dec 14 2002, 12:24 pm
Newsgroups: comp.lang.lisp
From: Pascal Costanza <costa...@web.de>
Date: Sat, 14 Dec 2002 18:10:38 +0100
Local: Sat, Dec 14 2002 12:10 pm
Subject: Re: type safety in LISP
I don't worry so much about the optimizations you can apply because of
type inference, but more about the feedback on potential bugs you can
have at compile-time, before running your test-suite. Here's an
imaginary session log:

 > (defun foo (x)
     (plus x "n"))
Warning: "plus" doesn't seem to accept strings as parameters - shall I
accept the definition of "foo" anyway? (y/n)
 > y
function "foo"
 >

Of course, the environment should allow you to disable the interactive
mode and either automatically accept or reject everything. Such a
feature would make everybody happy: fans of dynamic typing as well as
people who generally or perhaps only occasionally prefer static typing.

 > (let ((*static-typing* t))
     (defun foo (x)
       (plus x 5)))

Pascal

--
Given any rule, however ‘fundamental’ or ‘necessary’ for science, there
are always circumstances when it is advisable not only to ignore the
rule, but to adopt its opposite. - Paul Feyerabend

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Messages 176 - 200 of 259 < Older  Newer >
« Back to Discussions « Newer topic     Older topic »