Index origin: Difference between revisions

Jump to navigation Jump to search
70 bytes added ,  08:08, 5 June 2020
Miraheze>Adám Brudzewsky
m (Text replacement - "<code>" to "<source lang=apl inline>")
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Primitive|⎕IO|Index origin}} is the number used for the first [[index]] along each [[axis]] of an array. Many APLs allow the user to configure index origin using the [[system variable]] <source lang=apl inline>⎕IO</code>. Even array languages which do not have such a configuration parameter must make a choice of index origin; for example, [[J]] uses a non-configurable index origin of 0. The [https://en.wikipedia.org/wiki/English_language English language] uses an index origin of one: thus the element with index <source lang=apl inline>⎕IO</code> in APL is referred to in English as the "first" element.
{{Built-in|Index origin|⎕IO}} is the number used for the first [[index]] along each [[axis]] of an array. Many APLs allow the user to configure index origin using the [[system variable]] <source lang=apl inline>⎕IO</source>. Even array languages which do not have such a configuration parameter must make a choice of index origin; for example, [[A+]] and [[J]] use a non-configurable index origin of 0. The [[wikipedia:English language|English language]] uses an index origin of one: thus the element with index <source lang=apl inline>⎕IO</source> in APL is referred to in English as the "first" element.


The index origin affects both the handling of index arguments to functions (and other functionality like [[axis specification]]) and their results. For example, [[Iota]] (or "Index Generator") creates results which begin with <source lang=apl inline>⎕IO</code>.
The index origin affects both the handling of index arguments to functions (and other functionality like [[axis specification]]) and their results. For example, [[Index Generator]] creates results that begin with <source lang=apl inline>⎕IO</source>.
<pre class=apl>
<source lang=apl>
       ⎕IO←0
       ⎕IO←0
       ⍳4
       ⍳4
Line 9: Line 9:
       ⍳4
       ⍳4
1 2 3 4
1 2 3 4
</pre>
</source>


Any number could consistently be used for the index origin, but almost all APLs restrict the choice to 0 or 1. [[ngn/apl]] supports <source lang=apl inline>⎕IO</code> but only allows it to have the value 0. Attempting to assign an unsupported value to <source lang=apl inline>⎕IO</code> typically results in a [[DOMAIN ERROR]].
Any number could consistently be used for the index origin, but almost all APLs restrict the choice to 0 or 1. [[ngn/apl]] supports <source lang=apl inline>⎕IO</source> but only allows it to have the value 0. Attempting to assign an unsupported value to <source lang=apl inline>⎕IO</source> typically results in a [[DOMAIN ERROR]].


The choice of which numbers are indices is subjective and must be made by the language designer. In some cases there is no clear decision: [[Interval Index]] and [[Occurrence Count]] each have natural definitions that depend on index origin, and natural definitions that do not.
The choice of which numbers are indices is subjective and must be made by the language designer. In some cases there is no clear decision: [[Interval Index]] and [[Occurrence Count]] each have natural definitions that depend on index origin, and natural definitions that do not.
Line 17: Line 17:
== Functions which depend on index origin ==
== Functions which depend on index origin ==


The following functions depend on <source lang=apl inline>⎕IO</code> in at least some APLs. They are listed with the [[glyphs]] used for them in [[Dyalog APL]]. For functions, only the result depends on <source lang=apl inline>⎕IO</code> except where noted with <source lang=apl inline>⍺</code> in which case the left argument does instead. For operators the dependence is noted.
The following functions depend on <source lang=apl inline>⎕IO</source> in at least some APLs. They are listed with the [[glyph]]s used for them in [[Dyalog APL]]. For functions, only the result depends on <source lang=apl inline>⎕IO</source> except where noted with <source lang=apl inline>⍺</source> in which case the left argument does instead. For operators the dependence is noted.


{| class="wikitable c" style="margin:1em auto"
{| class="wikitable c" style="margin:1em auto"
! [[Monadic functions]]        !! [[Dyadic functions]]                          !! [[Operators]]
! [[Monadic function]]s         !! [[Dyadic function]]s                         !! [[Operator]]s
|-
|-
| [[Iota]] (<source lang=apl inline>⍳</code>)     || [[Index-Of]] (<source lang=apl inline>⍳</code>)                || [[Key]] (<source lang=apl inline>⌸</code>) argument to <source lang=apl inline>⍺⍺</code>
| [[Index Generator]] (<source lang=apl inline>⍳</source>) || [[Index-Of]] (<source lang=apl inline>⍳</source>)                || [[Key]] (<source lang=apl inline>⌸</source>) argument to <source lang=apl inline>⍺⍺</source>
|-
|-
| [[Roll]] (<source lang=apl inline>?</code>)    || [[Deal]] (<source lang=apl inline>?</code>)                    || [[At]] (<source lang=apl inline>@</code>) result of <source lang=apl inline>⍵⍵</code>
| [[Roll]] (<source lang=apl inline>?</source>)    || [[Deal]] (<source lang=apl inline>?</source>)                    || [[At]] (<source lang=apl inline>@</source>) result of <source lang=apl inline>⍵⍵</source>
|-
|-
| [[Grade]] (<source lang=apl inline>⍒⍋</code>)  || (<source lang=apl inline>⍒⍋</code>)                            ||
| [[Grade]] (<source lang=apl inline>⍒⍋</source>)  || (<source lang=apl inline>⍒⍋</source>)                            ||
|-
|-
| [[Indices]] (<source lang=apl inline>⍸</code>)  || [[Interval Index]] (<source lang=apl inline>⍸</code>)          ||
| [[Indices]] (<source lang=apl inline>⍸</source>)  || [[Interval Index]] (<source lang=apl inline>⍸</source>)          ||
|-
|-
|                              || [[Transpose]] (<source lang=apl inline>⍉</code>) <source lang=apl inline>⍺</code> ||
|                              || [[Transpose]] (<source lang=apl inline>⍉</source>) <source lang=apl inline>⍺</source> ||
|-
|-
|                              || [[Pick]] (<source lang=apl inline>⊃</code>) <source lang=apl inline>⍺</code>      ||
|                              || [[Pick]] (<source lang=apl inline>⊃</source>) <source lang=apl inline>⍺</source>      ||
|-
|-
|                              || [[Squad]] (<source lang=apl inline>⌷</code>) <source lang=apl inline>⍺</code>    ||
|                              || [[Squad]] (<source lang=apl inline>⌷</source>) <source lang=apl inline>⍺</source>    ||
|}
|}


Additionally, [[indexing]] with brackets and [[axis specification]] depend on index origin.
Additionally, [[Bracket indexing|indexing]] with brackets and [[axis specification]] depend on index origin.


== External links ==
== External links ==
Line 43: Line 43:
=== Articles ===
=== Articles ===


* [https://en.wikipedia.org/wiki/Array_data_type#Index_origin Wikipedia]
* [[wikipedia:Array data type#Index origin|Index origin]]
 
* [https://www.jsoftware.com/papers/indexorigin.htm Is Index Origin 0 a Hindrance?]
* [https://www.jsoftware.com/papers/indexorigin.htm Is Index Origin 0 a Hindrance?]


Line 54: Line 53:


* [https://help.dyalog.com/latest/index.htm#Language/System%20Functions/io.htm Dyalog]
* [https://help.dyalog.com/latest/index.htm#Language/System%20Functions/io.htm Dyalog]
* [http://microapl.com/apl_help/ch_020_070_380.htm APLX]
* [http://microapl.com/apl_help/ch_020_070_380.htm APLX]
 
{{APL built-ins}}[[Category:System constants]]
{{APL built-ins}}
trusted
183

edits

Navigation menu