Hah! I always knew it! I'm not the only getting a headache from this. Thanks Joseph Joseph Fredette schrieb:

TaPL, iirc, is more about compilers and typesystems, and not specifically about haskell. RWH will give you a cover of the basic stuff and common data types. The Typeclassopedia will cover all the major typeclasses (google search ought to reveal it's super-secret location). Otherwise, the wikibook, the wiki, and the haskell docs are a good place to look to get a handle on the myriad library datatypes provided.

/Joe

Gü?nther Schmidt wrote:

...

Hi all,

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.

Now to look smart I have a bookshelf full of books for smart people and TaPL is amoung them.

Should I try that or will RWH teach me enough to get by?

Günther

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

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