SequenceType

✖
`SequenceType`

[Experimental]

✖

SequenceType[var]

represents a type parameterized by var that refers to a sequence of zero or more types.

Details

SequenceType does not evaluate on its own but can be used inside functions that accept types, including Typed, FunctionDeclaration, etc.
SequenceType is used to specify the type of functions that take a variable number of arguments.
A function definition that uses SequenceType is typically accompanied by one or more definitions that use a fixed number of arguments.

Examples

Basic Examples (1)Summary of the most common use cases

Represent the type of a function that accepts a "MachineInteger" type and a sequence of types; it returns a "MachineInteger":

In[1]:=1

✖

https://wolfram.com/xid/0enwilmgu-yd0zl1

Represent a declaration of a function with this type:

In[2]:=2

✖

https://wolfram.com/xid/0enwilmgu-g2pkt3

This function declaration takes a single "MachineInteger":

In[3]:=3

✖

https://wolfram.com/xid/0enwilmgu-3j73g5

Compile a program that calls the declarations with three arguments:

In[4]:=4

✖

https://wolfram.com/xid/0enwilmgu-vjcbtu

Out[4]=4

In[5]:=5

✖

https://wolfram.com/xid/0enwilmgu-mln37h

Out[5]=5

Compile another program that calls the declarations but with a different number of arguments:

In[6]:=6

✖

https://wolfram.com/xid/0enwilmgu-33npox

Out[6]=6

In[7]:=7

✖

https://wolfram.com/xid/0enwilmgu-icfswe

Out[7]=7

Top