Dependency Analysis of Haskell Declarations (ZuriHac 2021) – Artem Kuznetsov
In his ZuriHac 2021 talk, Artem explores how GHC analyzes Haskell code to type-check it in the correct order, shows the flaws of the current implementation, and takes a look at what a future algorithm might look like.
FP merch that doesn't suck 👇
https://shop.serokell.io/
Slides: https://www.slideshare.net/SerokellCo...
Follow on social media:
/ serokell
/ zurihac
Learn more about us:
https://serokell.io/
https://zfoh.ch/zurihac2021/
Contact us:
[email protected]
0:00 Intro
0:20 What is dependency analysis, and why do we need it?
4:27 Template Haskell splices
7:02 Type-level dependency analysis
9:35 Quirk with type family instances
18:52 How do other languages solve this issue?
19:52 TH splices workaround
22:50 :sig and :def notation
33:09 Oops! All panics!
34:31 Q&A