| Título | Aprender Haskell será um Grande Bem para Você |
|---|---|
| Autores | Miran Lipovača |
| Ano de Publicação | 2011 |
| Edição | 1.a edição. |
| ISBN | 9781593272838 |
| Versão online | https://haskell.tailorfontela.com.br |
Bem-vindo ao Aprender Haskell será um grande bem para você! Se você já está lendo isto, existem boas chances de você querer aprender Haskell. Muito bem, você já esta no lugar certo, mas antes vamos conversar um pouco sobre este tutorial. Este tutorial é destinado a pessoas que tenham experiência em linguagens de programação imperativa (C, C++, Java, Python …) sem terem programado antes em uma linguagem funcional (Haskell, ML, OCaml …). Apesar de que eu aposto que se você não tiver uma larga experiência em programação, um rápido capítulo como o que você irá acompanhar vai habilitá-lo a aprender Haskell.
| Título | An Introduction to Functional Programming Through Lambda Calculus |
|---|---|
| Autores | MICHAELSON, Greg. |
| Ano de Publicação | 2011 |
| Edição | 9.a edição. |
| ISBN | 9780486478838 |
| Última versão de rascunho (late draft) | https://www.macs.hw.ac.uk/~greg/books/gjm.lambook88.pdf |
Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
| Título | Structure and Interpretation of Computer Programs |
|---|---|
| Autores | Harold Abelson, Gerald Jay Sussman. |
| Ano de Publicação | 1996 |
| Edição | 2.a edição. |
| ISBN | 9780262510875 |
| Versão online | https://web.mit.edu/6.001/6.037/sicp.pdf |
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.