Instead of teaching you how to use a specific language like Python or Java, 15-312 teaches you how to design and reason about languages themselves. The course relies heavily on mathematical logic and type theory to prove that a language behaves exactly as intended. Core Pillars of the Curriculum
-calculus), which provides the theoretical foundation for generics in Java/Rust and templates in C++. This includes exploring , which restricts what a polymorphic function can do based purely on its type signature. 15312 foundations of programming languages
