# Books and tutorials

### From HaskellWiki

(Difference between revisions)

m (Updated link for "Practical Foundations of Mathematics") |
(→Books) |
||

(24 intermediate revisions by 15 users not shown) | |||

Line 1: | Line 1: | ||

==Books== | ==Books== | ||

− | See [[Books]]. | + | See the [[Books|complete list of books]]. |

+ | |||

+ | <gallery> | ||

+ | Image:Haskell_98_Language_and_Libraries.jpg|[http://www.haskell.org/onlinereport/ Haskell 98 Language and Libraries: The Revised Report] | ||

+ | Image:Programming_in_Haskell.jpg|[http://www.cs.nott.ac.uk/~gmh/book.html Programming in Haskell] | ||

+ | Image:Lyah.png|[http://www.nostarch.com/lyah.htm Learn You a Haskell] | ||

+ | Image:Rwh-thumb.png|[[Real World Haskell]] | ||

+ | Image:pcph-thumb.gif|[http://shop.oreilly.com/product/0636920026365.do Parallel and Concurrent Programming in Haskell] | ||

+ | Image:The_Haskell_School_of_Expression.jpg|[http://www.cs.yale.edu/homes/hudak/SOE/ The Haskell School of Expression] | ||

+ | |||

+ | Image:Haskell_The_Craft_of_Functional_Programming_3rd.png|[http://www.haskellcraft.com/craft3e/ Haskell: The Craft of Functional Programming, Third Edition] | ||

+ | Image:Introduction_to_Functional_Programming.jpg|[http://web2.comlab.ox.ac.uk/oucl/publications/books/functional/ Introduction to Functional Programming using Haskell (Second Edition] | ||

+ | Image:Introduction_to_Functional_Programming_Systems_Using_Haskell.jpg|[http://www.cambridge.org/catalogue/catalogue.asp?ISBN=9780521277242 Introduction to Functional Programming Systems Using Haskell] | ||

+ | Image:Algorithms_A_Functional_Approach.jpg|[http://www.iro.umontreal.ca/~lapalme/Algorithms-functional.html Algorithms: A Functional Programming Approach] | ||

+ | |||

+ | Image:Fun_of_Programming.jpg|[http://web2.comlab.ox.ac.uk/oucl/publications/books/fop/ The Fun of Programming] | ||

+ | Image:TTFP.jpg|[http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ Type Theory and Functional Programming] | ||

+ | Image:Uma_Abordagem_Pratica.jpg|[http://www.novateceditora.com.br/livros/haskell/ Haskell: uma Abordagem Prática] | ||

+ | Image:Portada.jpg|[http://www.agapea.com/libros/RAZONANDO-CON-HASKELL-Un-curso-sobre-programacion-funcional-isbn-8497322770-i.htm RAZONANDO CON HASKELL. Un curso sobre programación funcional] | ||

+ | |||

+ | Image:Haskell-jp.jpg|[http://book.mycom.co.jp/support/e2/haskell/ 入門Haskell―はじめて学ぶ関数型言語] | ||

+ | Image:Haskell-jp-2.jpg|[http://i.loveruby.net/ja/stdhaskell/ ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門] | ||

+ | Image:Purely_Functional_Data_Structures.jpg|[http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=0521663504 Purely Functional Data Structures] | ||

+ | Image:TaPL.jpg|[http://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] | ||

+ | |||

+ | Image:Fp_in_haskell.gif|[[Функциональное программирование на языке Haskell]] | ||

+ | Image:Hand_book_haskell.gif|[[Справочник по языку Haskell]] | ||

+ | Image:Advanced_TaPL.jpg|[http://www.cis.upenn.edu/~bcpierce/attapl/ Advanced Topics in Types and Programming Languages] | ||

+ | Image:Haskell-Gontineac-coperta-mica.jpg|[http://www.math.uaic.ro/~gonti/Cursuri/ProgramareFunctionala/ProgrFunct.pdf Programare Functionala - download draft] | ||

+ | |||

+ | Image:Cartea-lui-Dan-Popa-coperta-1.png|[[Capitole de manual | Capitole de manuale despre programare functionala în Haskell (cu Hugs) [on-line]]] | ||

+ | Image:Coperta5.jpg|[[Practica interpretarii monadice]] | ||

+ | Image:FunctionalIkamusume.jpg|[http://www.paraiso-lang.org/ikmsm/ Functional Ikamusume book series] | ||

+ | </gallery> | ||

+ | |||

+ | == Journals == | ||

+ | |||

+ | * [http://themonadreader.wordpress.com/ The Monad.Reader] is an electronic magazine about all things Haskell. It is less formal than journal, but more enduring than a wiki-page or blog post. There have been a wide variety of articles, including: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas. | ||

+ | * [[Practice of Functional Programming]] is a Russian electronic magazine devoted to promoting functional programming, with both theoretical and explanatory articles as well as practical ones (FP success stories). Much of the material is often related to Haskell. | ||

==Tutorials== | ==Tutorials== | ||

Line 18: | Line 56: | ||

;[http://www.cwru.edu/artsci/math/wells/pub/ttt.html Toposes, Triples and Theories] | ;[http://www.cwru.edu/artsci/math/wells/pub/ttt.html Toposes, Triples and Theories] | ||

:Michael Barr and Charles Wells. The revised version of their formerly Springer Verlag published book is online for free download. Note that they use the name ''triple'' instead of ''monad''. | :Michael Barr and Charles Wells. The revised version of their formerly Springer Verlag published book is online for free download. Note that they use the name ''triple'' instead of ''monad''. | ||

+ | |||

+ | ;[http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=0521419972 Categories and Computer Science] | ||

+ | :R. F. C. Walters. Cambridge Computer Science Texts, 1991, 176 pages. ISBN 0-52141-997-2 (USD $95.00 (hardcover), USD $34.99 (paperback)). | ||

+ | :Here, Category Theory is developed in a straightforward way, and is enriched with many examples from computer science. | ||

+ | |||

+ | ;[[Media:ProbSolvInHas1.pdf|Where do I begin? A problem solving approach to teaching functional programming]] | ||

+ | :Simon Thompson, First International Conference on Declarative Programming Languages in Education | ||

+ | :Many students take easily to functional programming whilst others experience difficulties of one sort or another. The work reported here is the result of attempts to advise students on how to use problem solving ideas to help them design as develop programs. | ||

==Research papers== | ==Research papers== | ||

Line 26: | Line 72: | ||

==Formal Languages and Automata, Grammars and Parsing using Haskell== | ==Formal Languages and Automata, Grammars and Parsing using Haskell== | ||

* Grammars and Parsing by Johan Jeuring and Doaitse Swierstra is available: | * Grammars and Parsing by Johan Jeuring and Doaitse Swierstra is available: | ||

− | [http:// | + | [http://www.cs.uu.nl/docs/vakken/gont/diktaat.pdf - Download and take a look to the following:] |

** 3.1 The type 'Parser' pp 47 | ** 3.1 The type 'Parser' pp 47 | ||

** 3.2 Elementary parsers pp 49 | ** 3.2 Elementary parsers pp 49 | ||

** 3.3 Parser combinator pp 52 | ** 3.3 Parser combinator pp 52 | ||

** 5.1 Finite state automata pp 85 | ** 5.1 Finite state automata pp 85 | ||

+ | |||

+ | |||

+ | == External links == | ||

+ | |||

+ | * [http://www.catamorphism.net/fpb/haskref.cgi Functional Programming Bibliography] | ||

+ | * [http://readscheme.org/ read scheme] (bibliography) | ||

+ | * [http://researchr.org/ Researchr] (bibliography) |

## Latest revision as of 11:29, 7 September 2013

## Contents |

## [edit] 1 Books

See the complete list of books.

## [edit] 2 Journals

- The Monad.Reader is an electronic magazine about all things Haskell. It is less formal than journal, but more enduring than a wiki-page or blog post. There have been a wide variety of articles, including: exciting code fragments, intriguing puzzles, book reviews, tutorials, and even half-baked research ideas.
- Practice of Functional Programming is a Russian electronic magazine devoted to promoting functional programming, with both theoretical and explanatory articles as well as practical ones (FP success stories). Much of the material is often related to Haskell.

## [edit] 3 Tutorials

See Tutorials.

## [edit] 4 Foundations

Some books and links listed here can be found also in the articles of *Theoretical foundations* category

- see Mathematics
- or browse
*Theoretical foundations*among Special:Categories.

- Practical Foundations of Mathematics
- Paul Taylor. Cambridge University Press, ISBN: 0-521-63107-6, xii+576 pages, September 2000.

- Toposes, Triples and Theories
- Michael Barr and Charles Wells. The revised version of their formerly Springer Verlag published book is online for free download. Note that they use the name
*triple*instead of*monad*.

- Categories and Computer Science
- R. F. C. Walters. Cambridge Computer Science Texts, 1991, 176 pages. ISBN 0-52141-997-2 (USD $95.00 (hardcover), USD $34.99 (paperback)).
- Here, Category Theory is developed in a straightforward way, and is enriched with many examples from computer science.

- Where do I begin? A problem solving approach to teaching functional programming
- Simon Thompson, First International Conference on Declarative Programming Languages in Education
- Many students take easily to functional programming whilst others experience difficulties of one sort or another. The work reported here is the result of attempts to advise students on how to use problem solving ideas to help them design as develop programs.

## [edit] 5 Research papers

- Haskell research papers are collected on haskell.org
- Also, an online bibliography of Haskell research at ReadScheme.org

## [edit] 6 Formal Languages and Automata, Grammars and Parsing using Haskell

- Grammars and Parsing by Johan Jeuring and Doaitse Swierstra is available:

- Download and take a look to the following:

- 3.1 The type 'Parser' pp 47
- 3.2 Elementary parsers pp 49
- 3.3 Parser combinator pp 52
- 5.1 Finite state automata pp 85

## [edit] 7 External links

- Functional Programming Bibliography
- read scheme (bibliography)
- Researchr (bibliography)