Universal and Existential Quantification in Haskell – Stepan Prudnikov
In this video, we cover universal and existential quantification in Haskell. We look at how to make universal quantification explicit and why that can be useful for some GHC extensions, as well as how to use existential quantification in both data types and function signatures.
Get FP merch that doesn't suck 👇
https://shop.serokell.io/
Read our blog post covering this topic:
https://serokell.io/blog/universal-an...
Follow us on social media:
/ serokell
Learn more about us:
https://serokell.io/
https://github.com/serokell
Contact us:
[email protected]
0:00 Intro
0:24 Explicit universal quantification
1:26 Usage of universal quantification
2:05 TypeApplications
3:21 ScopedTypeVariables
3:39 Existential quantification
4:00 Existential quantification in datatypes
5:50 Higher-rank types
7:10 Example of existential quantification in functions
8:40 Conclusions