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