索引
有关不在此索引中的 API，请参阅 此处
有关术语，请参见 此处
符号
- ! → side effect
- !-type → mutable type
- ? → error handling
- # → Str
- $ → shared
- %
- &
- &&
- ′ (single quote)
- " (double quote)
- () → Tuple
- *
- + (前置) → operator
- +_ → + (前置)
- + (中置) → operator
- + (中置) → Trait
- ,
- − (前置)
- −_ → − (前置)
- − (中置) → operator
- − (中置) → Trait
- −> → anonymous function
- . → Visibility
- /
- :
- : → Colon application style
- : → Declaration
- : → Keyword Arguments
- :: → visibility
- := → default parameters
- ;
- <
- <: → Subtype specification
- <<
- <=
- = → Variable
- ==
- => → procedure
- >
- >>
- >=
- @ → decorator
- [] → Array
- \ → Indention
- \ → Str
- ^
- ^^
- _ → Type erasure
- _+_ → + (infix)
- _-_ → − (infix)
- `` (back quote)
- {}
- {:}
- {=} → Type System
- |
- || → Type variable list
- ~
拉丁字母
A
- [Add]
- alias
- Aliasing
- algebraic type
- [And]
- [and]
- anonymous function
- Anonymous polycorrelation coefficient
- anonymous type → Type System
- Array
- [assert]
- Attach
- attribute
- Attribute definitions
- Attribute Type
B
C
- Cast
- Comments
- Complex Object
- Compile-time functions
- circular references
- Class
- Class Relationship
- Class upcasting
- Colon application style
- Closure
- Compound Literals
- Complement
- Comprehension
- constant
- Constants
- Context
D
- Data type
- Declaration
- decorator
- Default parameters
- Del
- Dependent Type
- Deconstructing a record
- Deprecated
- Dict
- Diff
- Difference from Data Class
- Difference from structural types
- distinct
- Downcasting
E
- Empty Record
- Enum Class
- Enum type
- Enumerated, Interval and Refinement Types
- error handling
- Existential type
- Exponential Literal
- Extract assignment
F
- False → Boolean Object
- Float&sbsp;Object
- for
- For-All Patch
- For all types
- freeze
- Function
- Function definition with multiple patterns
G
H
I
- id
- if
- import
- impl
- [in]
- Indention
- Instant Block
- Instance and class attributes
- Implementing and resolving duplicate traits in the API
- inheritable
- inheritance
- Inheritance of Enumerated Classes
- Int
- Integration with Python
- Interval Type
- Intersection
- Iterator
J
K
L
- lambda → anonymous function
- let-polymorphism → [rank 1 polymorphism]
- Literal Identifiers
- log → side effect
M
- [match]
- Marker Trait
- Method
- Modifier → decorator
- module
- Multiple Inheritance
- Multi-layer (multi-level) Inheritance
- Mutable Type
- Mutable Structure Type
- Mutability
N
- Nat
- [Never]
- New type
- Heterogeneous Dict
- None → [None Object]
- [None Object]
- Nominal Subtyping → Class
- [Not]
- [not]
O
- Object
- [Option]
- [Or]
- [or]
- [Ord]
- ownership system
- Overloading
- Overriding
- Override in Trait
P
- Panic
- Patch
- Pattern match
- Phantom class
- pipeline operator
- Predicate
- [print!]
- Procedures
- Projection Type
- Python → Integration with Python
Q
R
- Range Object
- [ref]
- [ref!]
- Record
- Record Type Composite
- Recursive functions
- Refinement pattern
- Refinement Type
- replication
- Replacing Traits
- Result → error handling
- Rewriting Inherited Attributes
- rootobj
S
- Script
- Selecting Patches
- self
- Self
- Shared Reference
- side-effect
- Smart Cast
- Spread assignment
- special type variables
- Stack trace
- Structure type
- Structural Patch
- Structural Trait
- Structural Subtyping
- Structural types and class type relationships
- Str
- Subtyping
- Subtyping of subroutines
- Subtype specification
- Subtyping of Polymorphic Function Types
- Subroutine Signatures
T
- Test
- Traits
- Trait inclusion
- True → Boolean Object
- True Algebraic type
- [Type]
- type
- Type arguments in method definitions
- Type Bound
- Type Definitions
- Type erasure
- Type Inference System
- Type specification
- Type System
- Type Widening
- Tuple
U
V
W
- [while]