Last call for AliasSeq

via Digitalmars-d digitalmars-d at puremagic.com
Tue Jul 28 04:54:59 PDT 2015


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.»



More information about the Digitalmars-d mailing list