Polytypic Programming

Matthew Fluet

• Motivation
• Datatypes
• Example functions
  • eq
  • size
• Polytypic reduce
  • Specializations
    • reduce<D>
    • reduce<L> and reduce<B>
    • reduce<G>
• Practicalities
• References
• About this document ...