Difference between revisions of "Learning Haskell"

From HaskellWiki
Jump to navigation Jump to search
(Updated/deleted obsolete links; corrected spelling)
(→‎Reference: Updated link to "Tour of the Haskell Prelude")
(15 intermediate revisions by 7 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://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 mailing lists, 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].
   
  +
== Training courses ==
==Implementations==
 
   
  +
Short training courses aimed at existing programmers
Here is an overview about Haskell implementations (for new, or non-expert users, we recommend starting with the [http://www.haskell.org/platform/ Haskell Platform]).
 
   
  +
* [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)
{| border=1 cellspacing=0 cellpadding=5 bgcolor=#FFFFFF width=100%|
 
  +
* [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/wiki/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.
 
|}
 
   
 
== Material for self-study ==
Detailed information on the implementations can be found in a [[Implementations|separate article]].
 
 
== 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 80: Line 36:
   
 
* [[Meta-tutorial]]
 
* [[Meta-tutorial]]
  +
* [http://pluralsight.com/training/Courses/Find?highlight=true&searchTerm=haskell Haskell Fundamentals - get started and learn key concepts] at Pluralsight (2-part, 5 hour online course)
* [http://en.wikibooks.org/wiki/Haskell Haskell Wikibook] A long tutorial on Haskell that includes "Yet Another Haskell Tutorial", "Write Yourself a Scheme in 48 Hours" and "All about monads".
+
* [http://en.wikibooks.org/wiki/Haskell Haskell Wikibook] A thorough textbook with a step-by-step beginners track assuming no programming background. Also includes many advanced concepts, and adaptations of "Yet Another Haskell Tutorial", "Write Yourself a Scheme in 48 Hours", and "All about monads".
* [http://www.cs.utah.edu/~hal/docs/daume02yaht.pdf YAHT - Yet Another Haskell Tutorial] (good tutorial available online, also [http://pub.hal3.name/daume02yaht.pdf here])
+
* [http://pub.hal3.name/daume02yaht.pdf YAHT - Yet Another Haskell Tutorial] (good tutorial available online)
 
* [http://www.cs.ou.edu/~rlpage/fpclassCurrent/textbook/haskell.shtml Two dozen short lessons]
 
* [http://www.cs.ou.edu/~rlpage/fpclassCurrent/textbook/haskell.shtml Two dozen short lessons]
 
* [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://lasche.codingcrew.de/kurse/haskell/hskurs_index.htm 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://collection.openlibra.com.s3.amazonaws.com/pdf/haskell_tutorial_for_c_programmers_en.pdf Haskell tutorial 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.
 
* [http://www.youtube.com/playlist?list=PL2672EBC57C1F5F9B Learning Haskell] Ongoing tutorial in the form of YouTube videos; updates slowly.
  +
*[https://stevekrouse.github.io/hs.js/ Pattern matching, first-class functions, and abstracting over recursion in Haskell], a simulation of the evaluation of map, foldr and foldl.
   
 
=== Advanced tutorials ===
 
=== Advanced tutorials ===
Line 107: Line 65:
 
=== 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]]
   
Line 124: Line 82:
   
 
* The official language definition: [[Language and library specification]]
 
* The official language definition: [[Language and library specification]]
* [http://ww2.cs.mu.oz.au/172/Haskell/tourofprelude.html Tour of the Haskell Prelude]
+
* [http://www.letu.edu/people/jaytevis/Programming-Languages/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]]
Line 138: Line 96:
 
* [http://www.cse.chalmers.se/edu/course/afp/ Advanced Functional Programming, Chalmers]
 
* [http://www.cse.chalmers.se/edu/course/afp/ Advanced Functional Programming, Chalmers]
 
* [http://www.cse.chalmers.se/edu/course/pfp/ Parallel Functional Programming, Chalmers]
 
* [http://www.cse.chalmers.se/edu/course/pfp/ Parallel Functional Programming, Chalmers]
  +
* [http://www.shuklan.com/haskell Introduction to Haskell], University of Virginia CS 1501
 
* [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.staff.science.uu.nl/~fokke101/courses/fp-eng.pdf English], [http://www.staff.science.uu.nl/~fokke101/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
 
* Stanford - [http://www.scs.stanford.edu/11au-cs240h/ Functional Systems in Haskell]
 
* Stanford - [http://www.scs.stanford.edu/11au-cs240h/ Functional Systems in Haskell]
  +
  +
  +
== Trying Haskell online ==
  +
  +
There are several websites where you can enter a Haskell program and run it. They are (in no particular order):
  +
* [https://cloud.sagemath.com/ SageMathCloud]
  +
* [https://www.fpcomplete.com/school/using-fphc FP Haskell Center]
  +
* [http://tryhaskell.org/ Try Haskell]
  +
* [http://www.codeworld.info/ Codeworld]
  +
  +
To create something like that yourself:
  +
* [http://gibiansky.github.io/IHaskell/ IHaskell]

Revision as of 21:04, 27 August 2014


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.

Training courses

Short training courses aimed at existing programmers

Material for self-study

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

Textbooks

Online tutorials

Advanced tutorials

Debugging/profiling/optimization

Monads

Type classes

Generic programming

Popular libraries

Reference

Course material


Trying Haskell online

There are several websites where you can enter a Haskell program and run it. They are (in no particular order):

To create something like that yourself: