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 <boccato@gmail.com>
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 <perry.james@computer.org>
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 <boccato@gmail.com>
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