Também recomendo o TaPL. Bastante amigável de ler para quem está começando.
Tem alguns papers que podem ser bons motivadores como "Why dependent types
matter?".
2012/12/21 Perry James
Oi Ricardo, Não conheço os livros que você mencionou. Os livros de Benjamin Pierce, *Types and Programming Languages*http://www.cis.upenn.edu/~bcpierce/tapl/e *Basic Category Theory for Computer Scientists*http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717/ref=sr_1_1?ie=UTF8&qid=1356136556&sr=8-1&keywords=Basic+Category+Theory+for+Computer+Scientists, são textos padrões na área deles. Alem de *TaPL* ser bem acessível por um auto-didático, há recursos na internet e mailing lists que oferecem apoio. A linguagem usada para as implementações é SML. Ainda não tive tempo para encarar o livro de Category Theory. um abraço, Perry
2012/12/21 Ricardo Boccato Alves
http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1
_______________________________________________ haskell-br mailing list haskell-br@haskell.org http://www.haskell.org/mailman/listinfo/haskell-br