programming languages MOC

Basic Concepts

• abstract syntax tree
• algebraic data types
• substitution
• undefined behavior
• covariance and contravariance
• scope
• tail call
• polymorphism

Semantics

• operational semantics
• denotational semantics
• type theory

Design

See Programming Language Design MOC

Implementations

• parser
• compiler
• unification
• linker

Language Constructs

• goto
• modulo operations
• function overloading

Safety

• type safety
• memory safety

Experimental Languages

See: 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

• Chapel: Productive Parallel Programming
• Futhark

Link to original

Related

• machine languages and bytecodes