Bookmark List
Type Class
- [Down with Show! Rules of thumb for when to use a type class Series](https://harry.garrood.me/blog/down-with-show-part-1/)
- What are type families?
Type-Level Programming
- Fun with Typed Type-Level Programming in PureScript
- Generalized algebraic datatypes
- Type Families and Pokemon
- Dependently typed servers in Servant
- Why Dependent Haskell is the Future of Software Development
Template Haskell
Free-Monad, GADTs and Tagless Final Style
- Introduction to Tagless Final
- Free Monad vs Tagless Final
- Typed final (tagless-final) style
- GADTs - Haskell for All
- Anthony Cowley - Framing the Discussion with EDSLs (Video)
- TIAP Bob Atkey - An Algebraic Approach to Typechecking and Elaboration (Video)