Towards better implicit parameters

on YouTube ↗23m

" summary

Proposal introduces Scoped values: dynamic-scoped keys become nominal data types, introduced only with a new with-value primitive and read via a value function; a prototype desugars to Core using a value type family and wired-in identifiers so the innermost binding wins. It avoids global instances and fixes monomorphism-restriction capture, but requires a new constraint kind and compiler plumbing and raises integration questions with existing IP and non-singleton classes.

AI-written summary · about

" chapters (7)

1. 0:00Implicit parameters motivation
2. 3:17Problems with implicit params in GHC
3. 7:28withDict feature intro
4. 12:29Scoped values and non-singleton classes
5. 16:46Open questions and future work
6. 17:06Audience questions and discussion
7. 22:08Monomorphism restriction Q&A

" related talks

• 21mSeamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)Cunyuan Gao, Lionel Parreaux · GPCE 2024
• 31mRethinking the Value RestrictionStephen Dolan · ML 2024
• 28mSemi-explicit polymorphic parametersLeo White · Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023
• 43mAdding kind-polymorphism to the Scala programming languageMiles Sabin · Code Mesh LDN 2018
• 15mElaboration with First-Class Implicit Function TypesAndrás Kovács · ICFP 2020
• 05mFunctional Programming without the FunctionsNorm Birkett · CppCon 2019
• 46mAdding kind-polymorphism to the Scala programming languageMiles Sabin · Scala Days Berlin 2018
• 30mDotty and types: the story so farGuillaume Martres · Typelevel Summit Oslo 2016