claus.reinke:
I'm trying to catch up with all the wonderful Haskell Types, classes, Abstract Data Types, Algebraic Data Types, Types that give peoples headaches and all the other, deeper stuff I have been happily putting off.
Hmm, do we need more pragmas?-)
{-# LANGUAGE TypesThatGivePeopleHeadaches #-} {-# LANGUAGE DeeperStuffIHaveBeenHappilyPuttingOff #-}
Anyway, a good source of headaches are the research paper links collected at haskell.org:
http://www.haskell.org/haskellwiki/Research_papers
Given your interests, in particular:
http://www.haskell.org/haskellwiki/Research_papers/Type_systems http://www.haskell.org/haskellwiki/Research_papers/Data_structures
Also, given the ICFP deadline was this week, I encourage authors to link to their preprints in the appropriate categories, and help share the knowledge. -- Don