Reading list

As per William’s suggestion, reading through Felleisen’s “On the expressive power of programming languages” (1991) to help me understand how to compare metaclasses and type classes.

Otherwise, lately I have been thinking of what the core subject of my thesis should be. I think I will do a few things:

  1. Slightly extend Eric’s MCJ to support some kind of conditional extension.*
  2. Provide a translation from MCJ to a core Haskell (probably with only single-parameter type classes).
  3. Show that evaluating in MCJ and translating to HS always yields the same result as translating to HS and evaluating in HS.
  4. Show that well-typed MCJ translates to well-typed HS.
  5. Show the reverse direction.