Up to Your Elbows in GHC

on YouTube ↗37m

" summary

Proposal claims GHC can disable top-level record selectors so duplicate record fields stop polluting the VAR namespace. Implementation touches the renamer: add a new record-selector namespace, refactor field-label storage, and change lookup and generator paths. Work uses GHC source, hadrian build and multistage compiler cycles, tags for code navigation, and debugging of string-closure symbol generation; parts compile and tests run but Template Haskell and generics need more compatibility work before completion.

AI-written summary · about

" chapters (10)

1. 0:00Introduction
2. 1:21GHC proposal process
3. 3:35Duplicate record fields
4. 10:03GHC development start
5. 11:30How GHC processes code
6. 12:52Names and namespaces
7. 21:15Internal duplicate fields
8. 25:33Removing top-level selectors
9. 30:53Work context
10. 31:45Q&A

" related talks

• 01h 08mInto the Core - Squeezing Haskell into Nine ConstructorsSimon Peyton Jones · Erlang User Conference 2016
• 31mSide-effects are not your friendRyan Lemmer · Rubyfuza 2013
• 34mUnder the Hood of Ruby's Generational Garbage CollectorHemant Kumar · Rocky Mountain Ruby 2014
• 44mFunctional Programming for RubyistsArne Brasseur Slides · ArrrrCamp 2014
• 34mHijacking Ruby Syntax in RubyTomohiro Hashidate, Satoshi "Moris" Tagomori · RubyConf 2018
• 39mMatz Q&Ayukihiro Matsumoto 'Matz' · RubyConf 2016
• 53mRuby.inspectKoichi Sasada · Red Dot Ruby Conference 2014
• 42mHubris: The Ruby/Haskell BridgeJames Britt · MountainWest RubyConf 2010