News for hackers. Stuff that matters.
Re:Why I don’t like Dynamic Typing by bunderbunder on Saturday February 25, 2012 @10:55AM (#3633167)
For the sake of context, the original source of that quote is essentially an advertisement for Squeak. It raises some interesting ideas, and Smalltalk is definitely a system to know.

http://squab.no-ip.com/collab/uploads/61/IsSoftwareEngineeri...

But as an argument for one paradigm vs. another it doesn't really stand up, because the essay takes its own conclusion (that large systems would be easier to maintain if they were more like Squeak) as a major premise. Him being one of the inventors of the platform, I don't think we can just take his word for it. At a minimum, what we'd really want to see is a large successful enterprise system built on Smalltalk to serve as an instructive example. To my knowledge no such system exists, so we can't really take the paper, insightful as it is, as much more than hopeful musing.

That said, the "bind really late" approach has seen a lot of success. Just not quite so pervasively as the "in all aspects" that Kay advocates in the paper. Nowadays, the standard way to build large systems is to build completely independent modules and couple them on fluid interfaces. Text streams in Unix, REST APIs, and even SOAP are clear examples. What we don't see, though, is a whole lot of reason to think that the languages and run-times on which these modules run must also support late binding and hot-swapping of code at the micro scale, or that we're really suffering for lack of it.

Re:Why I don’t like Dynamic Typing by igouy on Sunday February 26, 2012 @01:23PM (#3636249)
> a large successful enterprise system built on Smalltalk... To my knowledge no such system exists

"a fully-integrated, model-driven, automated silicon wafer fabrication facility (fab) ... ControlWorks managed fab saved TI the equivalent of 1.2 fab lines last year. What does a fab cost? roughly $1B!"

http://www.google.com/search?q=ControlWorks+smalltalk

Kapital, 70 developers in 4 locations in 2005

http://www.google.com/search?q=kapital+smalltalk

http://www.google.com/search?q=oocl+smalltalk

Re:Why I don’t like Dynamic Typing by andrewl on Saturday February 25, 2012 @11:26AM (#3633232)
...what we'd really want to see is a large successful enterprise system built on Smalltalk to serve as an instructive example. To my knowledge no such system exists...

Does such a system exist to anybody's knowledge? I've heard that there's a good bit of Smalltalk on Wall Street, but companies don't like to advertise it because it's a competitive advantage.

Re:Why I don’t like Dynamic Typing by igouy on Saturday February 25, 2012 @01:32PM (#3633500)
“We have estimated that if we had built Kapital in another language such as Java, we would require at least three times the amount of resources.”

http://www.google.com/search?q=kapital+smalltalk

Re:Why I don’t like Dynamic Typing by lucisferre on Saturday February 25, 2012 @11:06AM (#3633192)
You've started with a fallacy here. No one is getting paid to push smalltalk. Even if that was the case, my association with a thing, doesn't make my support of it wrong by definition. Smalltalk obviously should be expected to embodies Alan's opinion on this. That it does, should come as no surprise, and one can safely assume he would have the same opinion regardless of having written a language based on it or not.

To be honest it doesn't seem that you are arguing against this concept that strongly, you're just not overly sold on it. I agree it's good to be sceptical, just as I'm sceptical there is all that much value in static typing in most cases. Having used a statically typed language for years, I've personally found the value to be little and the cognitive friction to be high.

Re:Why I don’t like Dynamic Typing by bunderbunder on Saturday February 25, 2012 @12:07PM (#3633308)
> You've started with a fallacy here. No one is getting paid to push smalltalk.

I wasn't using the word 'advertise' to suggest he was getting paid to push it. I was using it in very much the same sense in which you use the word 'sell' here:

> To be honest it doesn't seem that you are arguing against this concept that strongly, you're just not overly sold on it.

To which I respond: Correct. I'd even go so far as to say I'm not arguing against the concept at all.

Considering that all sorts of approaches to software development continue to be extremely popular, including among very smart people, it just seems crazy to me that people get so acrimonious about such issues. Programming is a very wide and varied field. If two developers try something and come away with differing opinions of it, isn't it just possible that those different opinions are both informed, but informed by different experience resulting from working in different problem domains? I'd submit that developers don't give each other nearly enough credit when they offhandedly dismiss each other's sharing of their own practical experience as "FUD".

To bring it back to Kay's paper: He's got some very interesting ideas, but the specific examples he talks about are problems that just don't cause me any stress in my day job. Yet he implies that people in my problem domain are suffering for not using his preferred programming paradigm. Now I don't want to accuse him of attacking me, and I certainly don't want to attack him because I believe that paper represents learned speculation and not a stake in the ground. But it remains true that he's not necessarily coming from the same place that everyone else is, and his experience of what works well does not necessarily translate into a universal best practice.