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 ;-) ;-) ;-)
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++.
> 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.
> 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.
> 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.
>>>>> "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?
> In article <4smx1kf5u....@beta.franz.com>, Duane Rettig <du...@franz.com> wrote:
> > > JPL does (or did). Is that not good enough? Your Lisp projects at JPL > > > were a success.
> > 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.
> Yes, exactly. Thanks, Duane, for saying this so much better than I can.
[useless "me too!" post follows]
I agree, that was very well put...should be pinned on a wall here, somewhere ;)
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).
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
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).
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)...
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.)
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?
> > 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.
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.
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?
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
On Fri, 13 Dec 2002 12:27:40 -0800, g...@jpl.nasa.gov (Erann Gat) wrote: > In article <ey3smx1944r....@cley.com>, Tim Bradshaw <t...@cley.com> wrote:
> > * Erann Gat wrote: > > > If you think the Lisp train is rolling, then help me answer this question > > > that my managers ask me whenever I bring the subject up: who uses it?
> > We do,
> Who is "we"?
> 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?
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.
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?
> > 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.
* 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...
"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.
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.
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)))
>>>Which Common Lisp implementations offer static type checking on demand? >>>(Your statement seems to imply their existence.)
>>I don't know. Maybe none.
>>I am referring to the (declare (type ...)) declaration and (the type ...) >>forms that are available for use as per the language spec, but are not >>required to be implemented. Or more precisely, the consequences of type >>violations are undefined.
> I originally didn't answer Pascal's question, because I was thinking > of it in terms of the feature that some CLs implement, and which we > are considering for future versions of Allegro CL, where type-safe > but fast code can be generated, which first checks a value for the > expected (i.e. declared) type, and then proceeds with fast code which > assumes that type. Of course, there is an issue as to where exactly to > place such initial checks, and the tupe inferences that the compiler > makes must be perfect, but it is an interesting enhancement...
> However, it just struck me - we are talking about type inference and > checking as if they are one thing, and yet CL _does_ explicitly provide > a portable way to check types (can you guess what it's called?) See:
-- 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