Basic Concepts
- abstract syntax tree
- algebraic data types
- substitution
- undefined behavior
- covariance and contravariance
- type safety
- scope
- tail call
Semantics
Design
See Programming Language Design MOC
Implementations
Language Constructs
Experimental Languages
experimental Languages
Here are several relatively new programming languages that, while I wouldn’t use them in production, may offer valuable insight and learning opportunities.
System Programming Languages
- Hylo
- Carbon
- Vale Programming Language
- Austral (Notes)
- Scopes (Notes)
- Odin (Notes)
- Mojo
- Hare by Drew DeVault
Parallel Languages
Link to original