Programming Languages
How languages are designed, what they let you say, and what they prevent you from saying.
12 topics · 2 curated works
Topics
- 01Language Design Principles
- 02Type Systems
- 03Static vs Dynamic Typing
- 04Functional Programming
- 05Object-Oriented Programming
- 06Logic Programming
- 07Concurrency Models
- 08Memory Management & Garbage Collection
- 09Lambda Calculus
- 10Denotational & Operational Semantics
- 11Metaprogramming & Macros
- 12Domain-Specific Languages
Curated reading
2Then
Assumes you know the vocabulary.
- EssayGo To Statement Considered HarmfulEdsger W. Dijkstra, 1968· 2 pages
Unrestricted jumps destroy the correspondence between program text and program execution, which is what makes reasoning possible.