1.
Basics
2.
Literal
3.
Variable
4.
Declaration
5.
Function
6.
Built-in functions
7.
operator
8.
Side effects and procedures
9.
Procedures
10.
Built-in procedure
11.
Array
12.
Dict
13.
Subscript (index access)
14.
Tuple
15.
Record
16.
Set
17.
types
17.1.
Erg's Type System
17.2.
Basic syntax for types
17.3.
Trait
17.4.
Class
17.5.
Inheritance
17.6.
Nominal Subtyping vs. Structural Subtyping
17.7.
Patch
17.8.
Value Type
17.9.
Attributive Type
17.10.
Interval Type
17.11.
Enumerative Type
17.12.
Refinement Type
17.13.
Algebraic type
17.14.
dependent type
17.15.
Type Variable, quantified type
17.16.
Subtyping
17.17.
Cast
17.18.
Mutable Type
17.19.
Type Bound
17.20.
Compound Type
17.21.
advanced
17.21.1.
Generalized Algebraic Data Types (GADTs)
17.21.2.
Function type with default arguments
17.21.3.
Type erasure
17.21.4.
Existential type
17.21.5.
Function type with keyword arguments
17.21.6.
Kind
17.21.7.
Marker Trait
17.21.8.
Mutable Structure Type
17.21.9.
Newtype pattern
17.21.10.
Overloading
17.21.11.
Phantom class
17.21.12.
Projection Type
17.21.13.
Quantified Dependent Type
17.21.14.
Shared Reference
17.21.15.
Special types (Self, Super)
17.21.16.
Typeof, classof
17.21.17.
Variance
17.21.18.
Type Widening
18.
Iterator
19.
Mutability
20.
Ownership system
21.
Visibility
22.
Naming convention
23.
Anonymous function
24.
Subroutine Signatures
25.
Closure
26.
Module
27.
Object
28.
pattern matching, refutable
29.
Comprehension
30.
Spread assignment
31.
Decorator (modifier)
32.
error handling system
33.
Pipeline operator
34.
Integration with Python
35.
Package System
36.
Generator
37.
The Grammar of Erg (ver 0.1.0, provisional)
38.
index
39.
Quick Tour
Light (default)
Rust
Coal
Navy
Ayu
The Erg Book
types
Types are a very important feature in Erg, so we have a
dedicated section
. Please see there.