Self Nomination

[Richard Eisenberg]

I would like to nominate myself for the Haskell Prime committee. I have been studying Haskell intensively as I'm working toward my PhD at the University of Pennsylvania, though I started programming in Haskell only in 2011.

Qualifications:
* I have designed and implemented several new features in GHC:
  - Closed type families
  - Coercible/roles
  - Several Template Haskell improvements
* I am currently putting the final touches on a large patch to GHC, merging the type and kind language and allowing reasoning about kind equalities.
* My dissertation is about dependent types in Haskell/GHC.
* I am currently serving as the Template Haskell czar for GHC.
* I am an avid user of lots of GHC extensions, particularly those concerning types. Two of my packages -- singletons and units -- make very heavy use of type system features.

Relevant opinion:
* Despite my pushing the envelope in GHC, my approach toward a language standard is conservative. Specifically, I would advocate against any of GHC's growing dependent-type features to end up in the standard: we simply don't have enough experience with these!

My website is at www.cis.upenn.edu/~eir if you wish to learn more about me.

Thanks,
Richard