GHC Proposal Presentations
summary
Four concrete GHC proposals get short technical pitches and status updates: partial type synonyms let type synonyms contain wildcards that elaborate into extra implicit parameters (elaboration model given, draft implementation exists and a merge request is in progress); strict-box nesting promises zero-cost lifted wrappers for single-constructor types with one unlifted field (proof‑of‑concept at the C--/codegen stage, works but may change profiling behavior); HPC trace extension proposes richer, extensible tick/event formats for post‑localization and fault localization (design, no final format yet); process change requires a named implementer before committee acceptance (PR ready).
AI-written summary · about
chapters (8)
- 0:00GHC proposal process
- 18:31Partial type synonyms
- 31:12Strict box nesting
- 44:39Extending HPC for Vault
- 53:46Implementers before acceptance
- 1:00:05GHC proposals discussion
- 1:15:54Punting and namespace unification
- 1:29:27Closing remarks
related talks
33mLightning Talks II
26mRequired Type Arguments
01h 38mGHC Core Optimisations
21mSeamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
06mLightning Talk Slot #4: Modularizing GHC
25mStaging with Class: A Specification for Typed Template Haskell
02h 50mIntro to Type Systems and Operational Semantics
46mRefinement Types from Light to Deep Verification