u/NNOTMin r/haskell • Recommends
On “ICFP 2021 talks already on YouTube”
First class existentials seems like a pretty nice thing to have
0:00 / 0:00
#haskell#existentialtypes#typeinference
An Existential Crisis Resolved: Type Inference for First-Class Existential Types
ACM SIGPLAN
11K subscribers • 61 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by Richard A. Eisenberg
Advanced. Deep dive for people who know the field.
1.6K views5 years ago2 recommendations
Programming languagesLanguage design and type systemsCompilers and interpreters
Richard A. Eisenberg presents a paper on resolving type inference for first-class existential types in Haskell.
An Existential Crisis Resolved: Type Inference for First-Class Existential Types Paper DOI: 10.1145/3473569 Presented at None, part of ICFP 2021 By Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel LeeWhy it's here
2 people recommend thisWhat people say. Recommended as an interesting presentation on adding first-class existential types to Haskell.
u/ysangkokin r/haskell • Recommends
Richard Eisenberg: An Existential Crisis Resolved: Type Inference for First-Class Existential Types