Write Your Own GHC Type Checker Plugins
Featuring Gabe Dijkstra
It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions.haskell ghc type-level-programming dependent-types
Lightning Talk: Who Cares About GHC 8.6?
Featuring Tom Harding
GHC 8.6.1 is live, and it comes with a fresh new batch of extensions! Specifically, you welcomehaskell constraint-programming ghc type-level-programming
StarIsType... so why should you care? How will these affect code in the real world?
Fast automatic type class derivation with shapeless
Featuring Alexandre Archambault
"One does not simply derive type classes with a macro."
Case classes and ADTs allow us to describe a model and reason about it with ease. Type classes allow us to extend them in a more loosely coupled and composable way than OOP. Both are two of the most appreciated features of Scala....shapeless case-classes adt oop type-level-programming