Media Summary: Introduction and goals of type checking for classes. Parameterizing type definitions with respect to a type. Records: expressions that create records, get record fields, and set record fields to produce new records.
Plait Object 1 Datatype Oriented - Detailed Analysis & Overview
Introduction and goals of type checking for classes. Parameterizing type definitions with respect to a type. Records: expressions that create records, get record fields, and set record fields to produce new records. Extending Curly to support parametric polymorphism. About the `is-subtype?` function that is part of the typechecker. Looking at state in terms of variables and assignment, instead of adding boxes to Curly.
Using the How to Design Programs design recipe for
