<div dir="ltr"><div>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?".<br></div><div><br></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">2012/12/21 Perry James <span dir="ltr"><<a href="mailto:perry.james@computer.org" target="_blank">perry.james@computer.org</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Oi Ricardo,<div> Não conheço os livros que você mencionou. Os livros de Benjamin Pierce, <a href="http://www.cis.upenn.edu/~bcpierce/tapl/" target="_blank"><i>Types and Programming Languages</i></a> e <a href="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" target="_blank"><i>Basic Category Theory for Computer Scientists</i></a>, são textos padrões na área deles. Alem de <i>TaPL</i> 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.</div>
<div> um abraço,</div><div> Perry<br><br><div class="gmail_quote">2012/12/21 Ricardo Boccato Alves <span dir="ltr"><<a href="mailto:boccato@gmail.com" target="_blank">boccato@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<a href="http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1" target="_blank">http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1</a></blockquote></div><br></div>
<br>_______________________________________________<br>
haskell-br mailing list<br>
<a href="mailto:haskell-br@haskell.org">haskell-br@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-br" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-br</a><br>
<br></blockquote></div><br></div>