Introduction
Getting Started
Tour of Arc-Lang
❱
Queries
Examples
❱
Word Count
TF-IDF
Sensor Data Aggregation
Deduplication
Fraud Detection
Command Line Interface
Arc-Lang Reference
❱
Programs
Names
Paths
Values
Types
Effects
Blocks
Statements
Expressions
Patterns
Queries
Items
❱
Type Aliases
Type Classes
Type Class Instances
Extern Functions
Extern Types
Uses
Modules
Function bodies
Arms
Sinks
Parameters
Generics
Type Arguments
Assignments
Annotations
Standard library
❱
Strings
Arrays
DataFrames
Channels
Development
❱
Continuous Integration
Arc-Lang Reference
Arc-MLIR Reference
❱
Programs
Names
Operations
Types
Values
Blocks
Items
❱
Functions
Parameters
Arc-Sys Reference
❱
Execution Model
Bibliography
Light (default)
Rust
Coal
Navy
Ayu
The Arc-Lang Book
Type Arguments
Type arguments use bracket-syntax as separators.
TypeArgs
::=
[
Type
,
+
]