I previously started posting the messages, because it is an interesting story. I viewed our discussion as a continuation of the debate that we began in person at POPL. Bob never manages to support his criticisms of object-oriented programming, and in the end shows that his criticisms are based on misunderstanding of the subject. At least, that is my interpretation of our exchange. He conclusions are completely different, I am sure. I have since decided to remove the posts. Just because Bob is impolite, does not mean that I have the right to be as well. If my actions offended anyone, I apologize. I will write some separate notes on his book, based on the email discussion. He has already modified the book and removed some of the unsupported claims based on our conversation.
I am still concerned with the fundamental internal conflict and lack of understanding between different camps within programming languages. It is unhealthy and reduces our reputation within the larger community. No other sub-discipline within computer science is so fundamentally at odds with itself. I will find another way to address these issues.
I had a feeling this effort might confuse professional/academic debate with something personal. Given the nature of the first few posts, I think it makes sense not to disclose the conversation in its entirety. People may unfairly interpret Bob's terseness as problems with his position.
ReplyDeleteHowever, I think I was learning from the exchange. I hadn't been exposed to the idea of "positive" and "negative" types, for instance. And with a little Googling I found papers talking about objects as a coalgebra. It's interesting that even this point seems like it's not fully accepted by the object-unimpressed camp.
What worries me most is this "Objects on Trial" silliness [1,2] in which a very serious subject is reduced to bad arguments and rhetoric.
What the PL community seems to need is a "real" scientific debate -- fully transparent -- and accountable to an inquisitive public. Everything I've seen to date, including these emails between yourself and Bob, seem to have fallen short of that measure.
[1] http://www.infoq.com/presentations/Panel-Objects-On-Trial
[2] http://dreamsongs.com/ObjectsHaveNotFailedNarr.html
No, it isn't his terseness that I have issue with, it's "arguments" such as "nope", "you're naive", "no you're quite wrong", "we don't need se people reinventing everything we do but worse", etc that I have problems with. How could anyone think this is an acceptable way to communicate with another researcher? He does the same sort of thing on his blog.
ReplyDeleteIf there are "type theorist" and "se" camps, I'm very much in the former, but I cringe at statements such as "type theory is the only unifying model of computation". There is no way to defend such a statement. It is just embarrassing.
Hmm, maybe some sort of Code of Conduct, or at least a treaty on human rights for warfare.
ReplyDeleteI'm interested in learning more about this argument, but I can't find good links. If you repost your critique, let me know.
But we don't need to see people reinvent everything we do but worse!
ReplyDeleteAlso, private email correspondence should not have been published without Bob's consent.
How and what he writes when addressing a colleague or a friend may be different to what he would have written publicly - different assumptions, different audience, different context.
123.hp.com/setup 7858
ReplyDeleteAre you searching hp printer assistance? Visit-123.hp.com/setup 7858 for the technical help like printer installation, drivers download, wireless setup etc
123 hp com setup
ReplyDeleteThis document is to be used in reference for HP Printers Setup with USB cable connection with a Windows computer. If you experience any issue while installing HP printer and printing, please contact at the toll-free number at 1-833-283-0002
There is no doubt that Epson Printers have made their top rank in the market. Be its features or functions, it provides flexible functionality saving time of the customers. However, few users face complexity while installing the device. Are you also facing such an issue? Then visit the given link and seek reference instantly. Our expert team will guide you with the best solution without sparing your much time and effort.
ReplyDeleteEPSON PRINTER