Posts
1.
Green Slime
WTy2 (Some OLD Ideas Here)
2.
Introduction
3.
Basic Concepts
3.1.
Core Types
3.2.
Common Type Operators
3.3.
Functions
3.4.
Records
3.5.
Declarations
3.6.
Erasure and Visibility
3.7.
Coherence
3.8.
Modules
4.
Extra
4.1.
Utilities
5.
Dependent Types
5.1.
Constraints
5.2.
Proofs
5.3.
Dependent Types
6.
Implementation
6.1.
Low-level Semantics
6.2.
Runtime Representation
6.3.
Core Subset
6.4.
Specialisation
7.
Design
7.1.
Soundness
7.2.
Syntax Debates
Extremely Old
8.
Type Aware Allocators
9.
Recursive Types
Light
Rust
Coal
Navy
Ayu
The WTy2 Language Specification
Summary