Last call for AliasSeq

Timon Gehr via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 29 20:48:49 PDT 2015


On 07/28/2015 01:54 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
<ola.fosheim.grostad+dlang at gmail.com>" wrote:
> On Tuesday, 28 July 2015 at 11:23:07 UTC, Elvis Zhou wrote:
>> WTF does 'Seq' means?
>> AliasSequence is much better!
>
> Seq is a function that maps natural numbers to values in the set X.
>
> «A finite sequence is a finite indexed set of values of the same type,
> whose domain is a contiguous set of positive integers starting at 1.»
>
> In Z-notation:
>
> «seq X is the set of all finite sequences of values of X , that is, of
> finite functions from the set 1 . . n, for some n, to elements of X .»
>
> «seq1 X is the set of all non-empty finite sequences of values of X .»
>
> «iseq X is the set of injective finite sequences over X : these are
> precisely the
> finite sequences over X which contain no repetitions.»
>

Hence AliasSeq: It is 'seq alias'.
It's like IntList which is 'list int'.

Also, this usage is quite common, but still, I was under the impression 
that you consider it important to provide sources. :-)


More information about the Digitalmars-d mailing list