+5  A: 

array |əˈrā|

noun

1 an impressive display or range of a particular type of thing : there is a vast array of literature on the topic | a bewildering array of choices.

2 an ordered arrangement, in particular

  • an arrangement of troops.
  • Mathematics: an arrangement of quantities or symbols in rows and columns; a matrix.
  • Computing: an ordered set of related elements.
  • Law: a list of jurors empaneled.

3 poetic/literary elaborate or beautiful clothing : he was clothed in fine array. verb

  1. [ trans. ] (usu. be arrayed) display or arrange (things) in a particular way : arrayed across the table was a buffet | the forces arrayed against him.
  2. [ trans. ] (usu. be arrayed in) dress someone in (the clothes specified) : they were arrayed in Hungarian national dress.
  3. [ trans. ] Law empanel (a jury). ORIGIN Middle English (in the senses [preparedness] and [place in readiness] ): from Old French arei (noun), areer (verb), based on Latin ad- ‘toward’ + a Germanic base meaning ‘prepare.’
Palo Verde
Heh, that's funny, and somehow almost ... perfect ...
DigitalRoss
I have the same dictionary! Nevertheless, point taken.
Ollie Saunders
What's the actual definition of a dictionary?
Tom
@Tom: A dictionary has a precise definition that is well understood. An array does not. That's why this question exists about arrays and not about dictionaries.
Ollie Saunders
I don't think this deserves so many upvotes...
Mark
+4  A: 

It is, or should be, all about abstraction

There is actually a good question hidden in there, a really good one, and it brings up a language pet peeve I have had for a long time.

And it's getting worse, not better.

OK: there is something lowly and widely disrespected Fortran got right that my favorite languages like Ruby still get wrong: they use different syntax for function calls, arrays, and attributes. Exactly how abstract is that? In fortran function(1) has the same syntax as array(1), so you can change one to the other without altering the program. (I know, not for assignments, and in the case of Fortran it was probably an accident of goofy punch card character sets and not anything deliberate.)

The point is, I'm really not sure that x.y, x[y], and x(y) should have different syntax. What is the benefit of attaching a particular abstraction to a specific syntax? To make more jobs for IDE programmers working on refactoring transformations?

Having said all that, it's easy to define array. In its first normal form, it's a contiguous sequence of elements in memory accessed via a numeric offset and using a language-specific syntax. In higher normal forms it is an attribute of an object that responds to a typically-numeric message.

DigitalRoss
I think your point is being lost on me, here. Which is a shame because it sounds interesting. What do you think is the good question that is hidden? Also I don't completely see how what you're saying about syntax relates (I'm sure it does! But I'm not seeing it right now). Your definition of array has been noted, thanks for answering.
Ollie Saunders
Well, I'm arguing for a unified syntax for sending messages to objects, in order to decouple use from implementation, and to make the objects polymorphic in a different sense. This relates to the definition of array, it started out as a simple mapping of vector and matrix abstractions to lvalues, as C calls them, but now the `[]` operator can sometimes be redefined (perhaps to implement a sparse matrix, or whatever) and so now I just don't see a difference between calling a function, accessing an attribute, or indexing an array. They are all about sending messages to objects.
DigitalRoss
+1 because you've got me rethinking myself with my "ideal language" design.
Chris Lutz
I want to point out that in Clojure, Vectors are actually functions of their indices and Maps are functions of their keys.
Jörg W Mittag
A: 

an array is a container, and the objects it holds have no any relationships except the order; the objects are stored in a continuous space abstractly (high level, of course low level may continuous too), so you could access them by slot[x,y,z...]. for example, per array[2,3,5,7,1], you could get 5 using slot[2] (slot[3] in some languages).

for a list, a container too, each object (well, each object-holder exactly such as slot or node) it holds has indicators which "point" to other object(s) and this is the main relationship; in general both high or low level the space is not continuous, but may be continuous; so accessing by slot[x,y,z...] is not recommended. for example, per |-2-3-5-7-1-|, you need to do a travel from first object to 3rd one to get 5.

EffoStaff Effo
+2  A: 

If you ignore how programming languages model arrays and lists, and ignore the implementation details (and consequent performance characteristics) of the abstractions, then the concepts of array and list are indistinguishable.

If you introduce implementation details (still independent of programming language) you can compare data structures like linked lists, array lists, regular arrays, sparse arrays and so on. But then you are not longer comparing arrays and lists per se.

The way I see it, you can only talk about a distinction between arrays and lists in the context of a programming language. And of course you are then talking about arrays and lists as supported by that language. You cannot generalize to any other language.

In short, I think this question is based on a false premise, and has no useful answer.

EDIT: in response to Ollie's comments:

I'm not saying that it is not useful to use the words "array" and "list". What I'm saying is the words do not and cannot have precise and distinct definitions ... except in the context of a specific programming language. While you would like the two words to have distinct meaning, it is a fact that they don't. Just take a look at the way the words are actually used. Furthermore, trying to impose a new set of definitions on the world is doomed to fail.

My point about implementation is that when we compare and contrast the different implementations of arrays and lists, we are doing just that. I'm not saying that it is not a useful thing to do. What I am saying is that when we compare and contrast the various implementations we should not get all hung up about whether we call them arrays or lists or whatever. Rather we should use terms that we can agree on ... or not use terms at all.

To me, "array" means "ordered collection of things that is probably efficiently indexable" and "list" means "ordered collection of things that may be efficiently indexable". But there are examples of both arrays and lists that go against the trend; e.g. PHP arrays on the one hand, and Java ArrayLists on the other hand. So if I want to be precise ... in a language-agnostic context, I have to talk about "C-like arrays" or "linked lists" or some other terminology that makes it clear what data structure I really mean. The terms "array" and "list" are of no use if I want to be clear.

Stephen C
There is no answer is an legitimate and useful answer to me. But I don't agree with a lot of what you say before that so I'm down-voting you, sorry.
Ollie Saunders
@Ollie: specifically what do you disagree with ... and justify.
Stephen C
These words "array" and "list" exist — or should exist — to denote the characteristics and limitations of different data structures. You're correct to say that arrays and list are the same when you remove the implementation details but I think that's missing the point. It's the implementation details that I care about. After all, the motivation for having different data structures is almost solely performance, otherwise we'd just use a hash tables for everything.
Ollie Saunders
@Ollie - The implementation details are _not_ language-agnostic. You're hung up on semantics.
Chris Lutz
I beg to differ. The implementation details kind of are language-agnostic. If something takes constant time in one structure and linear time in another it's not going to matter what the syntax looks like. That's a simplification but not oversimplification.
Ollie Saunders
+3  A: 
Laurence Gonsalves
I can show you counter-examples to both examples of arrays and lists used in the cited definition. For example, sparse arrays are not stored contiguously, and Java ArrayLists (or equivalent) are designed for random access. Besides these are properties of array/list IMPLEMENTATIONS, not the underlying concepts.
Stephen C
Sparse arrays aren't very common though.
Ollie Saunders
Stephen: It does say "elements of an array are *usually* stored contiguously". Java's List interface says "[positional] operations may execute in time proportional to the index value for some implementations ... [thus] iterating over the elements in a list is typically preferable to indexing through it" which is pretty much what the above says. The fact that a particular implementation of List (which has "array" in its name!) has O(1) random-access doesn't invalidate the claim that, in general, "list" means something that's meant to be accessed sequentially.
Laurence Gonsalves
+3  A: 

An array is an ordered collection of data items indexed by integer. It is not possible to be certain of anything more. Vote for this answer you believe this is the only reasonable outcome of this question.

Ollie Saunders
This is technically correct, but it doesn't get my vote because most people would have a different mental model. Unfortunately, there are many (conflicting) mental models. No definition would get my vote because I don't think there can be a consensus. At the root of it, definitions are about consensus/common understanding, not popularity.
Stephen C
We can be certain that an array is an ordered collection, particularly in the mathematical sense that it's indexed by integers.
outis
@outis: Updated.
Ollie Saunders
+1  A: 

I would argue that a real array stores values in contiguous memory. Anything else is only called an array because it can be used like array, but they aren't really ("arrays" in PHP are definately not actual arrays (non-associative)). Vectors and such are extensions of arrays, adding additional functionality.

Mark
+2  A: 

An array:

  1. is a finite collection of elements
  2. the elements are ordered, and this is their only structure
  3. elements of the same type
  4. supported efficient random access
  5. has no expectation of efficient insertions
  6. may or may not support append

(1) differentiates arrays from things like iterators or generators. (2) differentiates arrays from sets. (3) differentiates arrays from things like tuples where you get an int and a string. (4) differentiates arrays from other types of lists. Maybe it's not always true, but a programmer's expectation is that random access is constant time. (5) and (6) are just there to deny additional requirements.

Kevin Peterson