Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn about a novel compiler design for the CP programming language that enables type-safe dynamic inheritance through a merge operator in this 15-minute conference presentation. Explore how researchers from the National Institute of Informatics, IRIF, and University of Hong Kong tackle the challenge of combining the flexibility of dynamic inheritance found in languages like JavaScript with the safety guarantees of static typing. Discover the innovative compilation scheme that translates CP code to languages supporting extensible records, using type-generated record labels for efficient merge operations. Examine the formal verification of type safety through Coq proofs and understand how the concrete JavaScript implementation achieves performance comparable to class-based programs through CP-specific optimizations. Gain insights into advanced programming language concepts including multiple inheritance, first-class classes, virtual classes, family polymorphism, and coercive subtyping, while understanding how these features enable highly modular and loosely coupled component development.
