Introduction to Programming Languages
From Wikibooks, open books for an open world
Table of contents[edit]
Introduction to Programming Languages[edit]
Syntax[edit]
Grammars in Practice[edit]
- Logic Grammars
- Syntax Directed Interpretation
- Syntax Directed Translation
- Syntax Directed Type Checking
Execution Environments[edit]
Introduction to Functional Programming[edit]
Pattern Matching[edit]
Types[edit]
Typing Disciplines[edit]
- Dynamically vs Statically Typed Languages
- Nominal vs Structural Typing Equivalence
- Safe vs Unsafe Typing
- Type Inference vs Type Annotations
Polymorphism[edit]
The Lambda Calculus[edit]
High-Order Functions[edit]
- Definition and Examples
- Closures
- Partial Application
- Noticeable High-Order Functions
- Template Oriented Programming