filmov
tv
@rae: ImpredicativeTypes and TypeFamilies don't mix
Показать описание
This video discusses GHC's new ImpredicativeTypes extension and how impredicativity and type families do not mix. The starting point, surprisingly, is how GHC is confused about the difference between Constraints and Types.
0:08:24
@rae: ImpredicativeTypes and TypeFamilies don't mix
0:19:58
@rae: Impredicative types and dynamic types -- useful in parsing JSON
0:11:40
@rae: Type families help define functions over length-indexed vectors
0:10:37
@rae: Invisible kinds can prevent type families from reducing
0:17:44
@rae: Getting a little fancy with Haskell's kinds
0:12:54
@rae: GHC sometimes infers the wrong type
0:11:55
@rae: Connecting linearity and relevance in Dependent Haskell
0:15:49
@rae: What Haskell's deep subsumption is, why we killed it, and then why we resurrected it.
0:19:36
@rae: How to choose between Typeable, Data, and Generic in Haskell
0:16:21
Constrained Type Families
0:10:11
@rae: Let-generalization is confusing
0:13:22
@rae: How to program in types with length-indexed vectors: Part 1
0:17:59
@rae: How whitespace works in Haskell
0:08:57
@rae: Why Haskell can't get rid of Proxy (yet)
0:13:58
@rae: Removing (/=) from the Eq type class
0:13:24
A Quick Look at Impredicativity (ICFP 2020)
0:12:36
@rae: Monomorphism restriction can improve performance
0:41:58
@rae: Inferring the arity of zipWith, with lots of type-level hackery
0:41:34
Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations
2:13:37
Haskell, Thinking with Types: Chapter 10 First Class Families
0:00:18
How to Pronounce Impredicative
0:04:50
Non-exhaustive patterns in function | Haskell error, read/fix
0:01:36
Is impredicative Set consistent with the excluded middle?
0:26:07
HIW 2021 - Testing Haskell with Mocks
Комментарии