This and other RFCs are available on the web at http://dev.perl.org/rfc/ =head1 TITLE Arrays: Overview of multidimensional array RFCs (RFC 203 through RFC 207) =head1 VERSION Maintainer: Jeremy Howard <[EMAIL PROTECTED]> Date: 8 September 2000 Mailing List: [EMAIL PROTECTED] Number: 202 Version: 1 Status: Developing =head1 ABSTRACT Adding multidimensional array syntax to Perl 6 requires a large number of separate but highly connected language and internals changes. Each of these changes has its own RFC. This RFC describes how these changes fit together, and provides a 'reading guide' through the multidimensional array RFCs. =head1 DESCRIPTION Arrays are data structures that store a series of elements all of the same type in a contiguous area of memory. The elements of an array can most simply be indexed by the count of the number of elements into the array. This style of indexing results in a one dimensional array, also called a I<vector>. A more sophisticated approach allows indexing into a two dimensional plane of elements, where the plane is 'flattened' by laying the rows or columns end on end in order to find the correct offset into the area of memory. Two dimensional arrays are called I<matrices>. Arrays of more than two dimensions follow the same logic, but use coordinate systems of three or more coordinates for their indexing. These arrays mirror the mathematical structures known as I<tensors>. Perl 5 does not strictly provide a syntax for defining arrays, since the closest equivalent in Perl 5, the I<list>, can contain different types of element within one structure. Using a list in Perl 5 to mirror a one dimensional array leads to a loss of efficiency, because the elements of a list may be of different sizes, and can therefore not be jumped to directly. Perl 5 does not strictly provide a syntax for indexing arrays of greater than one dimension, however the use of a I<list of lists> (or I<LOL>) allows an approximation, as described in L<perllol> in the Perl 5 documentation. The LOL structure does not guarantee that sub-lists are of equal size, which, with the lack of guarantee that list elements are of equal size, results in a loss of efficiency. Furthermore, the syntax for indexing LOLs: $scalar = $lol[$i][$j][$k]; does not allow multiple elements to be accessed in a way that takes advantage of the coordinate system (such as taking all elements that are one plane of a three dimensional array). The multidimensional array RFCs describe a set of language and internals changes that together provide the two key foundations of arrays: =over 4 =item * Declaration of a data structure that contains elements of the same type stored contiguously in memory =item * Ability to index arrays using a multidimensional coordinate syntax =back In addition, the RFCs describe syntax that allows the more rigid structure of an array to be utilised to create more efficient programs. The following RFCs describe the proposals: RFC 203 - Arrays: Notation for declaring and creating arrays RFC 204 - Arrays: Use list reference for multidimensional array access RFC 205 - Arrays: New operator ';' for creating array slices RFC 206 - Arrays: @#arr for getting the dimensions of an array RFC 207 - Arrays: Efficient array loops RFC 203 describes the notation to create data structures that contain elements of the same type stored contiguously in memory. RFC 204 describes the notation to index arrays in multiple dimensions, and RFC 205 describes how to utilise the coordinate nature of indices to index multiple elements easily. These three RFCs provide the core foundation of arrays in Perl 6. RFC 206 provides the syntax to query arrays to find their structure at runtime. Finally, RFC 207 provides the means to operate efficiently on multidimensional arrays, bypassing Perl's more flexible but slower generic looping approaches. The multidimensional array RFCs rely on the lazily generated list generation syntax provided by RFC 81 for creating slices, and on the reduce() builtin provided by RFC 76 for reducing arrays. =head1 IMPLEMENTATION None necessary; this is a summary RFC =head1 REFERENCES <perllol> in the Perl 5 documentation Arrays in Numeric Python: http://starship.python.net/~da/numtut/array.html Arrays in Haskell: http://haskell.cs.yale.edu/haskell-report/newlib/Array.html Arrays in Perl Data Language: http://pdl.sourceforge.net/PDLdocs/Impatient.html#Perl_Datatypes_and_how_PDL_exten Arrays in Blitz++ (efficient C++ library): http://oonumerics.org/blitz/manual/blitz02.html#l26
