Spin-offs from the Expression Problem

(Exploring typed language design in Haskell)

2010 (C) Ralf Lämmel & Oleg Kiselyov

Slides [.pdf]: 1 slide/page, 4 slides/page.

Video [.mov]: [.mov].

  1. Refined inquiry on the Expression Problem
  2. Homogeneous vs. heterogeneous lists
  3. Complexity of type class-based types
  4. Extensibility for operations for data construction
  5. Scrap your boilerplate for certain operations
  6. Extensibility for operations with multiple arguments
  7. Type dependencies between argument and result types