Exploring Richard A Eisenberg Levity Polymorphism
Welcome to our comprehensive guide on Richard A Eisenberg Levity Polymorphism.
- Title: Partial Type Constructors Speaker:
- We explore Haskell's layout rule, and how it works in practice. Official description of that layout rule: ...
- More info about this talk: https://icfp20.sigplan.org/details/icfp-2020-papers/32/Kinds-are-Calling-Conventions Authors: Paul ...
- This more introductory video walks through Haskell's kind system, giving a little motivation for why Haskell has kinds at all, and ...
- Haskell Symposium @ ICFP 2012.
In-Depth Information on Richard A Eisenberg Levity Polymorphism
Authors: 30 August, 2015 I describe how Haskell uses kinds to track how runtime values are represented. This video doesn't quite get to talk about Stitch: The Sound Type-Indexed Type Checker
Spurred on by https://gitlab.haskell.org/ghc/ghc/-/issues/20686, I discuss how GHC currently is pretty arbitrary in when it decides to ...
In summary, understanding Richard A Eisenberg Levity Polymorphism gives us a better perspective.
