An Introduction to Functional Polytypic Programming

Quick overview

• Time: Oct 16 - 20, 2000, roughly two 1.5 hour sessions each day.
• Lecturer: Patrik Jansson
• Schedule:

     Mon S4, 10.15 -- 12.00 S4, 13.15 -- 15.00
     Tue S4, 10.15 -- 12.00 S4, 13.15 -- 15.00
     Wed                    S4, 13.15 -- 15.00 S4, 15.15 -- 17.00
     Thr S2, 10.15 -- 12.00                    S2, 15.15 -- 17.00
     Fri S4,  9.15 -- 12.00 S4, 13.15 -- 16.00
  

• Course material: Functional Polytypic Programming. Participants get a printed copy from me for free.
• Examination: To get 1 credit point for the course the participant must find, read and present a paper on polytypic programming.

Contents

Course material

• Covered in the course:
  • Chapter 1: 1 - 8 Intro
  • Chapter 2: 9 - 17 Prelude (skip 2.11)
  • Chapter 3: 23 - 43 Basic polytypic programming
  • Chapter 5: 59 - 71 PolyLib - a polytypic function library
• Reference material:
  • Appenix A: 165 -180 PolyLib - the implementation
  • The rest of the thesis.
• Exercises with solution sketches
• Further reading: the list of suggested papers.

Examination

Links

• Polytypic programming home page
• The PolyP implementation
• Generic Haskell project: the next generation for polytypic programming