Object-oriented programming is a programming paradigm that emphasizes the use of objects, classes, and inheritance. In the 15312 course, students learn about the concepts of object-oriented programming, including:
Languages like Java and C++ use subtyping (a Cat is an Animal ). The 15-312 treatment includes: 15312 foundations of programming languages
A judgment is an assertion about a program. Syntax: ( J ) and inheritance. In the 15312 course
The curriculum typically follows a trajectory of increasing complexity: Structural Induction: the type checker screamed.
SML’s syntax is sparse, but its type system is powerful. The course forces students to grapple with features that are largely absent in mainstream curricula, most notably and Algebraic Data Types .
: Every time Alex tried to run their code, the type checker screamed.