The Artima Developer Community
Sponsored Link

Weblogs Forum
When it comes to Computer Science, don't reference Wikipedia

27 replies on 2 pages. Most recent reply: Aug 16, 2005 8:57 AM by Venkat Subramaniam

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 27 replies on 2 pages [ 1 2 | » ]
Christopher Diggins

Posts: 1215
Nickname: cdiggins
Registered: Feb, 2004

When it comes to Computer Science, don't reference Wikipedia (View in Weblogs)
Posted: Jul 31, 2005 11:35 AM
Reply to this message Reply
Summary
One of my pet peeves is when people reference Wikipedia as an authoritative source for computer science defintions.
Advertisement

I recently repsonded to a weblog entry by Venkat Subramaniam about Java generics, where he used the term "type-safety" interchangeably with "static type-checking". When I pointed out the error, he claimed that it depends on how we define "type-safety" and then referenced the Type Safety entry at Wikipedia. I followed the link and found the following:

In computer science, a programming language is type safe when the language does not permit the programmer to treat a value as a type to which it does not belong.

Well I didn't verify who wrote that, but it is a typically poor definition. The requirement for strong-typing is not that you can't treat a value as a type to which it does not belong, but that if you do treat a value as a type to which it does not belong, then the behaviour is well-defined.

This is not the first time a Wikipedia computer-science definition has made me want to pull my hair out. In the end I don't care, as long as people don't make the mistake of taking Wikipedia definitions seriously. Just remember that in Wikipedia the definitions are written by random people, and edited by random people, not experts.


John D. Mitchell

Posts: 244
Nickname: johnm
Registered: Apr, 2003

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 12:11 PM
Reply to this message Reply
Um, er, so why don't you go update/augment the Wikipedia definition?

Take care,
John

Kay Schluehr

Posts: 302
Nickname: schluehk
Registered: Jan, 2005

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 12:23 PM
Reply to this message Reply
> Well I didn't verify who wrote that, but it is a typically
> poor definition. The requirement for strong-typing is not
> that you <b>can't</b> treat a value as a type to which it
> does not belong, but that if you do treat a value as a
> type to which it does not belong, then the behaviour is
> well-defined.

Well-defined because it produces a compile time error?

I thought type-safety simply means that static type information inferred at compile time may not be altered at runtime. Type information known by the compiler is fixed for all future.

Strong-typing on the other hand is the requirement to fix the types of all values at compile time.

Kay

Mark Finkle

Posts: 3
Nickname: mfinkle
Registered: Apr, 2005

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 1:00 PM
Reply to this message Reply
I agree with John. Update the Wikipedia article.

Is there a better online source for CompSci jargon? I would imagine there is somewhere. BTW, the "online" part is important in this day and age.

seth ladd

Posts: 4
Nickname: sethladd
Registered: Jan, 2004

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 1:14 PM
Reply to this message Reply
So just update the article. It's really simple a quick to do.

Use your energy for good, not bitching. :)

Dave Bauer

Posts: 1
Nickname: tdxdave
Registered: Jul, 2005

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 1:34 PM
Reply to this message Reply
the_ wiki, http://c2.com/cgi/wiki?TypeSafe or more formally the Portland Pattern repository has always given me good information on computer science terminology. Also its very well linked so you can lose entire days exploring it. Highly recommended.

Satish Goda

Posts: 1
Nickname: blendernut
Registered: Jan, 2005

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 3:25 PM
Reply to this message Reply
Hi Dave.

Thank your for sharing the link. Really helpful. I was confused with the definition on wikipedia.

Regards.

Christopher Diggins

Posts: 1215
Nickname: cdiggins
Registered: Feb, 2004

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 4:39 PM
Reply to this message Reply
> Um, er, so why don't you go update/augment the Wikipedia
> definition?

Because it would be a waste of my time. Anyone could come along and change it again.

Christopher Diggins

Posts: 1215
Nickname: cdiggins
Registered: Feb, 2004

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 4:47 PM
Reply to this message Reply
> > Well I didn't verify who wrote that, but it is a
> typically
> > poor definition. The requirement for strong-typing is
> not
> > that you <b>can't</b> treat a value as a type to which
> it
> > does not belong, but that if you do treat a value as a
> > type to which it does not belong, then the behaviour is
> > well-defined.
>
> Well-defined because it produces a compile time error?

A compile-time error would indicate that the program is not valid but is not considered behaviour. My point is that a language can be both dynamically typed and strongly typed. If an invalid type-cast is guaranteed to throw an exception, then a language would be strongly typed.

> I thought type-safety simply means that static type
> information inferred at compile time may not be altered at
> runtime. Type information known by the compiler is fixed
> for all future.
>
> Strong-typing on the other hand is the requirement to fix
> the types of all values at compile time.

This is not a broad enough definition to cover programming languages which support dynamic typing.

Christopher Diggins

Posts: 1215
Nickname: cdiggins
Registered: Feb, 2004

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 4:54 PM
Reply to this message Reply
> So just update the article. It's really simple a quick to
> do.
>
> Use your energy for good, not bitching. :)

I am not intending to simply bitch but instead make the point that Wikipedia entries are volatile, unreliable and from questionable sources. They can be good to help guide research but are hardly reference-worthy.

I suppose though I chould make a more positive contribution to the community than simply pointing out flaws in wikipedia. I have been toying with the idea of starting a computer science wiki which is restricted to contributions by actual experts in the field, but open for general discussion behind the scenes. This could be a fun project if anyone would find it worthwhile. Any thoughts?

ruin ate her

Posts: 1
Nickname: ruin8r
Registered: Jul, 2005

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 5:49 PM
Reply to this message Reply
Anyone could but would they? I'm sorry, you have no right to complain if you haven't tried it. Go put in what you consider to be a valid definition and if it gets changed to something you think is wrong, come back and tell us.

Derek Parnell

Posts: 22
Nickname: derekp
Registered: Feb, 2005

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 6:36 PM
Reply to this message Reply
"Wikipedia the definitions are written by random people, and edited by random people, not experts."

What evidence do you have that experts never contribute to Wikipedia?

What evidence do you have that experts never disagree about computer science terminology?

What evidence do you have that any of your contributions to Wikipedia will always be changed by someone else?

In some ways, Wikipedia has the same 'protection' as open source software, in that a consensus of correctness tends to dominate over time. That is acheived by individuals brave enough to risk contributing to the 'greater good'.

I urge to to make corrections whenever you can. True, it is possible that your contribution will be modified, however if your contribution is good/correct/clear then the probability of 'desecration' is greatly lowered.

Joe Grossberg

Posts: 244
Nickname: jgrossberg
Registered: Mar, 2003

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 7:15 PM
Reply to this message Reply
You obviously don't "get" wikis; maybe you can "get" a joke? http://en.wikipedia.org/wiki/Christopher_Diggins

Christopher Diggins

Posts: 1215
Nickname: cdiggins
Registered: Feb, 2004

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 7:46 PM
Reply to this message Reply
> You obviously don't "get" wikis; maybe you can "get" a
> joke? http://en.wikipedia.org/wiki/Christopher_Diggins

:-)

You may be interested to know that Wikipedia and I have a history, see:

http://en.wikipedia.org/wiki/Wikipedia:Votes_for_deletion/Heron_programming_language

Joe Grossberg

Posts: 244
Nickname: jgrossberg
Registered: Mar, 2003

Re: When it comes to Computer Science, don't reference Wikipedia Posted: Jul 31, 2005 8:09 PM
Reply to this message Reply
Ha! Now that thread could be a "what sucks about Wikipedia" example. :)

Flat View: This topic has 27 replies on 2 pages [ 1  2 | » ]
Topic: Thinking out loud about Concepts Previous Topic   Next Topic Topic: Generics

Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use