Lisp as Blub

http://damienkatz.net/2008/04/lisp_as_blub.html

by mqt • 18 years ago

28 31 18 years ago

pg3• 18 years ago

He's reading too much into this. At loads this low, it can't be a language design issue. There's probably just a bug in Mzscheme.

Hard to say whether this post is deliberate linkbait or just overeagerness to see this as evidence confirming a pre-existing bias. Probably a little of both.

davidw2• 18 years ago

It's sort of linkbait, and it'd be more interesting if he had something more substantive to say... however, Erlang certainly is adept at being a robust, stable server, and has had a lot of time and brain power poured into those efforts, so I think they have a right to be proud. It'd be better to find another way of saying it, though.

icey2• 18 years ago

Tangent: In your troubleshooting, have you already made sure you aren't occasionally receiving a malformed request that is causing the server to puke? In other server software that has displayed that sort of behavior, I've seen that be the problem more often than a traffic issue. I mean; you would have noticed a memory leak type of situation by now, I'd imagine.

pg3• 18 years ago

I'm pretty sure that isn't the cause, because Patrick has been able to reproduce the problem by generating only correctly formed requests.

damienkatz3• 18 years ago

Confirming bias? Maybe. Link bait? Definitely.

But you say it likes it's a bad thing. Do you think I don't have a valid point? Are you not debugging a memory leak in a production Lisp app?

With Lisp you can put together a site in a few hours. But how many days must later be spent debugging issues like this? Will this time spent debugging be counted against your productivity gains you attribute to Lisp?

This is exactly the sort of problem Erlang has nailed down. And it requires a whole new thinking about program structure. Is it possible you don't see the problems with Lisp because you can't imagine there is a fundamentally better way?

apgwoz• 18 years ago

> Are you not debugging a memory leak in a production Lisp app?

But, you're confusing the actual application with the Lisp implementation. Arc (and Mzscheme for that matter) are not as mature as Erlang's 20 years (or whatever). If this was running on a more mature Lisp system, I don't think we'd be discussing the same thing.

pg3• 18 years ago

You can't possibly have a valid point, because you're starting from practically zero data. All I have is vague theories about what might be wrong, and what you know about what's going on in our software is a proper subset of what I know.

Why don't you wait till you have more data before wasting all our time with stuff like this? What's the rush?

freax• 18 years ago

> But how many days must later be spent debugging issues like this? Will this time spent debugging be counted against your productivity gains you attribute to Lisp? This is exactly the sort of problem Erlang has nailed down.

http://damienkatz.net/2007/12/erlang_vm_crash.html :

"So the Erlang VM died suddenly with a failed memory allocation. This is actually quite okay [...] However, the Erlang VM didn't restart automatically. Apparently we need to configure something for that to happen, only we can't figure out how to make it work. The documentation is either wrong, confusing or the feature is buggy. This is the kind of stuff we keep hitting in Erlang. It's fantastically productive for many tasks, but using some of the built-in libraries and features can be a huge time sink. (inets and xmerl immediately spring to mind)."

tjr• 18 years ago

It is very possible that Erlang could have a better way than Lisp, and that Lispers can't see it until they learn Erlang. Entirely possible.

But an arbitrary bug in an arbitrary Lisp program is nothing even remotely like sufficient proof for such a statement, unless you are trying to claim that Erlang programs are inherintly bug-free, regardless of how they were implemented...?

lg• 18 years ago

have you tried the latest mzscheme? i remember you were running arc on v352, the libraries have changed a lot since then, so maybe the gc did too... iirc there's a patch on anarki or someplace to make it work.

raganwald• 18 years ago

Interesting point about having a process-oriented architecture where each process has its own independent GC, but boy-o-boy is the title a troll-tastic piece of link-bait.

henning• 18 years ago

I don't get it. The "blub" quality refers to expressiveness, not the robustness of the runtime system or suitability for particular kinds of application development.

To say that Arc is not concerned with brevity or expressiveness is simply ridiculous.

For the record, I think the way Erlang supports functional programming isn't particularly elegant and I think having Prolog-like syntax without Prolog-like semantics is silly.

LogicHoleFlaw• 18 years ago

having Prolog-like syntax without Prolog-like semantics is silly.

Yes. Yes! I'm not the only one thinking it then!

I think the Erlang process model is brilliant but it really took on the ugliness of the Prolog syntax without attaining the full benefits of the Prolog logical semantics.

KirinDave• 18 years ago

My misogynistic and politically incorrect, but very accurate, metaphor for erlang is, "The Ugly Girl Who's Great In Bed." You don't mind doing the horizontal polka with her, but she certainly won't win any beauty contests.

That said, a few small changes to the erlang grammar could go a long way towards fixing it (changing separators to terminators, etc). Once you get more familiar with Erlang, you go from writing ugly cascading ifs on multiple conditions to simple clean case statements on tuples. You learn when to use function-clause matching vs. internal matching, etc.

giardini• 18 years ago

I think Erlang is brilliant because it keeps Prolog's unification (matching) but discards Prolog's backtracking in favor of procedural execution.

Unification can be very useful in solving some problems. Backtracking is also useful but sometimes gets in the way. Procedural code can be used to do anything that any language can do and students are more familiar with it. So I think Erlang is an interesting addition to languages. And that's without considering it's more practical aspects, e.g., multiprocessing, failover capability, etc.

Nor is Prolog syntax particularly ugly. A problem is that it is too simple, so simple that novices can become confused. Brna, Boulay and Pain discuss why Prolog is difficult in the book:

"Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study" http://www.amazon.com/Learning-Comprehend-Complex-Informatio...

See the review there by Randall Heltzerman titled "The Most Unlikely Book Ever to be Published".

yariv• 18 years ago

I think that syntax and semantics are largely orthogonal. When you code in Erlang you just don't think about how the syntax resembles Prolog's.

Also, if you prefer to use Lisp syntax in Erlang you can use LFE (http://groups.google.com/group/erlang-questions/browse_threa...).

akkartik• 18 years ago

I remember downloading lfe when it first came out, and being stumped at the first step. I've run some simple erlang examples in the past, that's the level of my experience. Is there an article out there to take an erlang newbie by the hand through and provide the compile/load incantations to get to a simple running lfe program?

Without making any sort of general claim, I notice that what I learn in one session of erlang is very easily lost/forgotten. It's like perl in this respect.

And don't tell me the people who object to erlang syntax haven't tried it :) (I say that about people who object to python's indentation) I've tried it. It's extremely hard to keep in one's head, and takes simply too long to become part of 'muscle memory'.

Anyway, pointers to get started would be most appreciated. It's probably counterproductive to my interests to criticize while I ask for help :)

gruseom• 18 years ago

I was going to say the same thing. The point he is making (even if true) has nothing to do with the concept of "Blub", and he makes himself look childish by putting it that way. That's too bad. Some of the other stuff I've read by Damien has been solid and I would have expected better.

pchristensen• 18 years ago

He just sounds like he was dying to piss on pg's tea party. He ended up just pissing into the wind.

mnemonicsloth• 18 years ago

"Why current event X means we should all grind my favorite axe."

boorad• 18 years ago

It's a pretty robust axe

lst• 18 years ago

If you want to prove something seriously, please find some more examples. (Really!)

mroman• 18 years ago

This guy sounds like a suit in a boardroom . . . just spouting words devoid of validity . . .

Lisp as Blub

Related Stories