Personal tools

Learning Haskell

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(fixed dead links)
m (Type classes)
(23 intermediate revisions by 11 users not shown)
Line 1: Line 1:
__NOTOC__
 
 
[[Category:Tutorials]]
 
[[Category:Tutorials]]
   
 
This portal points to places where you can go if you want to learn Haskell.
 
This portal points to places where you can go if you want to learn Haskell.
   
The [[Introduction|Introduction to Haskell]] on the Haskell website tells you what Haskell gives you: substantially increased programmer productivity, shorter, clearer, and more maintainable code, fewer errors, higher reliability, a smaller semantic gap between the programmer and the language, shorter lead times. There is an old but still relevant paper about [http://weblog.raganwald.com/2007/03/why-why-functional-programming-matters.html Why Functional Programming Matters] (PDF) by John Hughes. More recently, Sebastian Sylvan wrote an article about [[Why Haskell Matters]].
+
The [[Introduction|Introduction to Haskell]] on the Haskell website tells you what Haskell gives you: substantially increased programmer productivity, shorter, clearer, and more maintainable code, fewer errors, higher reliability, a smaller semantic gap between the programmer and the language, shorter lead times. There is an old but still relevant paper about [http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html Why Functional Programming Matters] (PDF) by John Hughes. More recently, Sebastian Sylvan wrote an article about [[Why Haskell Matters]].
   
 
There is also a [http://www.haskell.org/haskellwiki/Comparison table comparing Haskell to other functional languages]. Many questions about functional programming are answered by the [http://www.cs.nott.ac.uk/~gmh//faq.html comp.lang.functional FAQ].
 
There is also a [http://www.haskell.org/haskellwiki/Comparison table comparing Haskell to other functional languages]. Many questions about functional programming are answered by the [http://www.cs.nott.ac.uk/~gmh//faq.html comp.lang.functional FAQ].
   
You can ask questions to members of the haskell community on maillists, IRC, or StackOverflow.
+
You can ask questions to members of the Haskell community on mailing lists, IRC, or StackOverflow. We recommend installing the [http://www.haskell.org/platform/ Haskell Platform].
   
==Implementations==
+
== Training courses ==
   
Here is an overview about Haskell implementations (for new, or non-expert users, we recommend starting with the [http://haskell.org/platform Haskell Platform]).
+
Short training courses aimed at existing programmers
   
{| border=1 cellspacing=0 cellpadding=5 bgcolor=#FFFFFF width=100%|
+
* [http://www.well-typed.com/services_training On-site and public training courses] by Well-Typed (2-day intro, 2-day advanced, custom on-site courses)
|-
+
* [http://www.cs.ox.ac.uk/softeng/subjects/FPR.html Software Engineering course on Functional Programming] at the University of Oxford (1-week course)
|
+
* [http://www.cs.uu.nl/wiki/USCS Summerschool on Applied Functional Programming] at Utrecht University (2-week course)
! Messages
 
! Size
 
! Tools
 
! Remarks
 
|-
 
| [http://www.haskell.org/ghc/ GHC]
 
| +
 
| -
 
| ++
 
| Many language extensions; generated code is very fast. ''The most popular implementation.''
 
|-
 
| [http://www.haskell.org/hugs/ Hugs]
 
| +/-
 
| ++
 
| -
 
| Fast compilation; used a lot for learning Haskell and rapid code development. See also [[WinHugs]].
 
|-
 
| [http://www.cs.york.ac.uk/fp/nhc98/ nhc98]
 
| +
 
| +
 
| ++
 
| Profiling, debugging, tracing. ''Not actively developed.''
 
|-
 
| [[Yhc]]
 
| +
 
| +
 
| ?
 
| Compiles to bytecodes. Runtime easily portable. ''Not actively developed.''
 
|-
 
| [http://www.cs.uu.nl/helium/ Helium]
 
| ++
 
| ++
 
| -
 
| No type classes (yet!) and thus incompatible with most material on this site. Made for teaching/learning. Excellent error messages.
 
|-
 
| [http://www.cs.uu.nl/wiki/UHC UHC]
 
| +/-
 
| -
 
| +/-
 
| Developed for experimentation with language features. As a Haskell compiler still under development.
 
|}
 
   
Detailed information on the implementations can be found in a [[Implementations|separate article]].
+
== Material for self-study ==
 
== Material ==
 
   
 
Below there are links to certain introductory material. If you want to dig deeper, see [[Books and tutorials]].
 
Below there are links to certain introductory material. If you want to dig deeper, see [[Books and tutorials]].
Line 25: Line 24:
   
 
* [http://www.cs.yale.edu/homes/hudak/SOE/ The Haskell School of Expression]
 
* [http://www.cs.yale.edu/homes/hudak/SOE/ The Haskell School of Expression]
* [http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e/ Haskell: the Craft of Functional Programming]
+
* [http://www.haskellcraft.com/ Haskell: the Craft of Functional Programming]
 
* [http://www.prenhall.com/allbooks/ptr_0134843460.html Introduction to Functional Programming using Haskell]
 
* [http://www.prenhall.com/allbooks/ptr_0134843460.html Introduction to Functional Programming using Haskell]
 
* [http://www.cambridge.org/us/knowledge/isbn/item1129654/Introduction%20to%20Functional%20Programming%20Systems%20Using%20Haskell/?site_locale=en_US An Introduction to Functional Programming Systems Using Haskell]
 
* [http://www.cambridge.org/us/knowledge/isbn/item1129654/Introduction%20to%20Functional%20Programming%20Systems%20Using%20Haskell/?site_locale=en_US An Introduction to Functional Programming Systems Using Haskell]
 
* [http://www.iro.umontreal.ca/~lapalme/Algorithms-functional.html Algorithms: A functional programming approach]
 
* [http://www.iro.umontreal.ca/~lapalme/Algorithms-functional.html Algorithms: A functional programming approach]
* [http://homepages.cwi.nl/~jve/HR/ The Haskell Road to Logic, Maths, and Programming]
+
* [http://homepages.cwi.nl/~jve/HR/ The Haskell Road to Logic, Maths, and Programming] (also freely [http://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf available online]).
 
* [http://www.cs.nott.ac.uk/~gmh/book.html Programming in Haskell]
 
* [http://www.cs.nott.ac.uk/~gmh/book.html Programming in Haskell]
 
* [http://book.realworldhaskell.org/ Real World Haskell]
 
* [http://book.realworldhaskell.org/ Real World Haskell]
  +
* [http://nostarch.com/lyah.htm Learn You a Haskell for Great Good!]
   
 
=== Online tutorials ===
 
=== Online tutorials ===
Line 41: Line 41:
 
* [http://www.haskell.org/tutorial/ A Gentle Introduction to Haskell] - classic text, but not so gentle really :D
 
* [http://www.haskell.org/tutorial/ A Gentle Introduction to Haskell] - classic text, but not so gentle really :D
 
* [ftp://ftp.geoinfo.tuwien.ac.at/navratil/HaskellTutorial.pdf Haskell-Tutorial]
 
* [ftp://ftp.geoinfo.tuwien.ac.at/navratil/HaskellTutorial.pdf Haskell-Tutorial]
* [http://www.informatik.uni-bonn.de/~ralf/teaching/Hskurs_toc.html Online Haskell Course] (German)
+
* [http://lasche.codingcrew.de/kurse/haskell/hskurs_index.htm Online Haskell Course] (German)
 
* [http://ccfit.nsu.ru/~ikuznecov/doc/Haskell%20Tutorial%20for%20C%20Programmers/intro.html Haskell for C Programmers]
 
* [http://ccfit.nsu.ru/~ikuznecov/doc/Haskell%20Tutorial%20for%20C%20Programmers/intro.html Haskell for C Programmers]
 
* [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] Beautiful, illustrated Haskell tutorial for programmers with less of a functional programming background.
 
* [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] Beautiful, illustrated Haskell tutorial for programmers with less of a functional programming background.
  +
* [http://www.youtube.com/playlist?list=PL2672EBC57C1F5F9B Learning Haskell] Ongoing tutorial in the form of YouTube videos; updates slowly.
   
 
=== Advanced tutorials ===
 
=== Advanced tutorials ===
Line 49: Line 50:
 
* [[Hitchhikers guide to Haskell]]
 
* [[Hitchhikers guide to Haskell]]
 
* [http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours Write Yourself a Scheme in 48 Hours]
 
* [http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours Write Yourself a Scheme in 48 Hours]
* [http://research.microsoft.com/Users/simonpj/papers/marktoberdorf/ Tackling the Awkward Squad] (on I/O, interfacing to C, concurrency and exceptions)
+
* [http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/ Tackling the Awkward Squad] (on I/O, interfacing to C, concurrency and exceptions)
   
 
=== Debugging/profiling/optimization ===
 
=== Debugging/profiling/optimization ===
Line 55: Line 56:
 
=== Monads ===
 
=== Monads ===
   
* [http://sigfpe.blogspot.com/2006/08/you-could-have-invented-monads-and.html You Could Have Invented Monads! (And Maybe You Already Have.)]
+
* [http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html You Could Have Invented Monads! (And Maybe You Already Have.)]
* [http://citeseer.ist.psu.edu/wadler95monads.html Monads for Functional Programming]
+
* [http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf Monads for Functional Programming]
* [Dead link] [http://www.haskell.org/all_about_monads/html/ All about monads]
+
* [http://www.haskell.org/haskellwiki/All_About_Monads All about monads]
 
* [[IO inside|IO inside: down the Rabbit Hole]]
 
* [[IO inside|IO inside: down the Rabbit Hole]]
* [http://spbhug.folding-maps.org/wiki/MonadsEn Monads]
 
   
 
=== Type classes ===
 
=== Type classes ===
   
* [http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps.gz The paper that at first time introduced type classes and their implementation using dictionaries]
+
* [http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps.gz The paper that for the first time introduced type classes and their implementation using dictionaries]
 
* [[Research papers/Type systems#Type classes|More papers on the type classes]]
 
* [[Research papers/Type systems#Type classes|More papers on the type classes]]
   
 
=== Generic programming ===
 
=== Generic programming ===
   
* [Dead link; [http://replay.web.archive.org/20090207090211/http://www.cs.vu.nl/boilerplate/ IA backup]] [http://www.cs.vu.nl/boilerplate/#papers Scrap your boilerplate]
+
* [[Scrap your boilerplate]]
   
 
=== Popular libraries ===
 
=== Popular libraries ===
   
 
* ByteStrings?
 
* ByteStrings?
* [http://www.cs.uu.nl/people/daan/download/parsec/parsec.html Parsec, a fast combinator parser]
+
* [http://legacy.cs.uu.nl/daan/download/parsec/parsec.html Parsec, a fast combinator parser]
 
* [[Modern array libraries]]
 
* [[Modern array libraries]]
 
* [http://www.haskell.org/haskellwiki/Gtk2Hs/Tutorials Gtk2Hs, the GUI library]
 
* [http://www.haskell.org/haskellwiki/Gtk2Hs/Tutorials Gtk2Hs, the GUI library]
Line 80: Line 80:
   
 
* The official language definition: [[Language and library specification]]
 
* The official language definition: [[Language and library specification]]
* [[HaskellNewbie|Haskell Newbie]]
+
* [http://ww2.cs.mu.oz.au/172/Haskell/tourofprelude.html Tour of the Haskell Prelude]
* [http://cs.anu.edu.au/student/comp1100/haskell/tourofprelude.html Tour of the Haskell Prelude]
 
 
* [http://zvon.org/other/haskell/Outputglobal/index.html Haskell Reference]
 
* [http://zvon.org/other/haskell/Outputglobal/index.html Haskell Reference]
 
* Haskell [[Reference card]]
 
* Haskell [[Reference card]]
 
* [http://members.chello.nl/hjgtuyl/tourdemonad.html A tour of the Haskell Monad functions]
 
* [http://members.chello.nl/hjgtuyl/tourdemonad.html A tour of the Haskell Monad functions]
* [http://www.cs.uu.nl/helium/docs/TourOfPrelude.html Tour of the Helium Prelude]
+
* [http://www.cs.uu.nl/wiki/bin/view/Helium/ATourOfTheHeliumPrelude Tour of the Helium Prelude]
* [http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e/errors/allErrors.html Some common Hugs error messages]
+
* [http://www.cs.kent.ac.uk/people/staff/sjt/craft2e/errors/allErrors.html Some common Hugs error messages]
 
* [http://cheatsheet.codeslower.com/ The Haskell Cheatsheet] - A reference card and mini-tutorial in one.
 
* [http://cheatsheet.codeslower.com/ The Haskell Cheatsheet] - A reference card and mini-tutorial in one.
  +
* A [http://www.haskell.org/haskellwiki/Category:Glossary Glossary] of common terminology.
   
 
=== Course material ===
 
=== Course material ===
* [http://www.cse.chalmers.se/edu/course/TDA555/ Introduction to Functional Programming, Chalmers]
+
* [http://www.cse.chalmers.se/edu/course/TDA555/ Introduction to Functional Programming, Chalmers] (for beginners at programming)
* [http://www.cs.chalmers.se/Cs/Grundutb/Kurser/d1pt/d1pta/external.html Programming in Haskell, Chalmers]
+
* [http://www.cse.chalmers.se/edu/course/TDA452/ Functional Programming, Chalmers]
 
* [http://www.cse.chalmers.se/edu/course/afp/ Advanced Functional Programming, Chalmers]
 
* [http://www.cse.chalmers.se/edu/course/afp/ Advanced Functional Programming, Chalmers]
* [Dead link] [http://www.cs.chalmers.se/~koen/Aafp/ Advanced Advanced Functional Programming, Chalmers]
+
* [http://www.cse.chalmers.se/edu/course/pfp/ Parallel Functional Programming, Chalmers]
 
* [http://www.cs.caltech.edu/courses/cs11/material/haskell/index.html CS 11 Caltech]
 
* [http://www.cs.caltech.edu/courses/cs11/material/haskell/index.html CS 11 Caltech]
* [http://www.cs.uu.nl/docs/vakken/lfp/ Functional programming]: course notes ([http://www.cs.uu.nl/~jeroen/courses/fp-eng.pdf English], [http://www.cs.uu.nl/~jeroen/courses/fp-nl.pdf Dutch], [http://www.cs.uu.nl/~jeroen/courses/fp-sp.pdf Spanish]), slides in Dutch
+
* [http://www.cs.uu.nl/docs/vakken/lfp/ Functional programming]: course notes ([http://www.staff.science.uu.nl/~fokke101/courses/fp-eng.pdf English], [http://www.staff.science.uu.nl/~fokke101/courses/fp-nl.pdf Dutch], [http://www.staff.science.uu.nl/~fokke101/courses/fp-sp.pdf Spanish]), slides in Dutch
 
* [http://www.cse.unsw.edu.au/~cs1011/05s2/ CS1011]: Tutorials, lab exercises and solutions
 
* [http://www.cse.unsw.edu.au/~cs1011/05s2/ CS1011]: Tutorials, lab exercises and solutions
* [Hungarian] [http://pnyf.inf.elte.hu/fp/Index.xml Functional Programming]: online Haskell exercises (maybe Explorer can't show xml content)
+
* Stanford - [http://www.scs.stanford.edu/11au-cs240h/ Functional Systems in Haskell]

Revision as of 12:53, 5 May 2013


This portal points to places where you can go if you want to learn Haskell.

The Introduction to Haskell on the Haskell website tells you what Haskell gives you: substantially increased programmer productivity, shorter, clearer, and more maintainable code, fewer errors, higher reliability, a smaller semantic gap between the programmer and the language, shorter lead times. There is an old but still relevant paper about Why Functional Programming Matters (PDF) by John Hughes. More recently, Sebastian Sylvan wrote an article about Why Haskell Matters.

There is also a table comparing Haskell to other functional languages. Many questions about functional programming are answered by the comp.lang.functional FAQ.

You can ask questions to members of the Haskell community on mailing lists, IRC, or StackOverflow. We recommend installing the Haskell Platform.

Contents

1 Training courses

Short training courses aimed at existing programmers

2 Material for self-study

Below there are links to certain introductory material. If you want to dig deeper, see Books and tutorials.

2.1 Textbooks

2.2 Online tutorials

2.3 Advanced tutorials

2.4 Debugging/profiling/optimization

2.5 Monads

2.6 Type classes

2.7 Generic programming

2.8 Popular libraries

2.9 Reference

2.10 Course material