
Pessoal, Fiquei interessado em aprender mais sobre a parte teórica dos tipos, categorias e afins. Estou começando a ler o livro "Type Theory and Functional Programming", que tem o pdf na página do próprio autor ( http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/). Alguém por um acaso saberia me dizer se este é um bom livro para ser introduzido ao assunto? Ou teria alguma sugestão? Também comecei a dar uma olhada no "An Introduction to Category Theory" que me pareceu palatável ( http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1 ). []s, Ricardo Boccato Alves

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

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
participants (3)
-
Flavio Botelho
-
Perry James
-
Ricardo Boccato Alves