Programming Languages
Programming Paradigms
This guide helps you get your bearings in Programming Paradigms before you start exploring the interactive timeline, framework graph, and concept maps.
Before You Dive In
- Programming Paradigms asks how language design and semantics shape correctness, performance, and developer cognition.
- Rough timeline: procedural and systems languages -> abstract data and modularity -> functional and type-theoretic advances -> modern multi-framework and safe-systems designs.
- Start with operational, denotational, and type-system viewpoints; they reveal different guarantees and tradeoffs.
- In Noosaga, compare frameworks by what they prioritize: expressiveness, safety, predictability, or compilation strategy.
Key Terms to Know
Type systemStatic or dynamic discipline constraining program operations to prevent classes of errors.
SemanticsFormal meaning of programs, independent of implementation details.
CompilationTranslation from source language to target representation with optimization and checks.
Lambda calculusFoundational formal system for functions and computation in PL theory.
Effect systemType-level tracking of side effects such as state mutation or IO.
Common Confusions
Treating language syntax as the main difference; semantics and tooling usually matter more.
Assuming static typing always slows iteration; design and inference quality change the tradeoff.
Confusing language framework labels with complete guarantees about program behavior.
Recommended Reading
Types and Programming Languages— Benjamin C. Pierce
2002Structure and Interpretation of Computer Programs— Harold Abelson & Gerald Jay Sussman
1996Compilers: Principles, Techniques, and Tools— Alfred V. Aho et al.
2006How to Use the Interactive View
1
Explore the timeline
Open the interactive view and scan the framework timeline. Which frameworks came first? Which ones overlap? Where are the big transitions?
2
Read the articles
Click into individual frameworks to read what each one claims, where it came from, and how it relates to its neighbors.
3
Check the concept map
See how the key ideas within a framework connect. This is useful for figuring out what to learn first and what depends on what.
4
Test yourself
Take the quiz for any framework you've read about. It's a quick way to find out whether you actually understood the core ideas or just skimmed them.