View source for Haskell

__NOTOC__
{{programmingnav|Haskell}}

== Haskell :: Functional Programming with Types ==
[[Image:Haskell-logo.png|right]]
<math>\sqrt{\int_0^\infty \frac{1}{x^2+1}\, dx}</math>

Let <math>x\in \mathbb C</math> and <math>y\in \mathbb C^2</math>. Let us consider a set <math>U\subset \mathfrak U</math>. Let <math>x\in \mathbb C</math> and <math>y\in \mathbb C^2</math>. Let us consider a set <math>U\subset \mathfrak U</math>. Let <math>x\in \mathbb C</math> and <math>y\in \mathbb C^2</math>. Let us consider a set <math>U\subset \mathfrak U</math>. Let <math>x\in \mathbb C</math> and <math>y\in \mathbb C^2</math>. Let us consider a set <math>U\subset \mathfrak U</math>. We have:

<math>\int xy\, dx\wedge dy</math>

'''Haskell''' is a [[Computer programming/Functional programming|functional programming]] language.  If you have programmed before and would like to see a little bit of how Haskell works and is different from other programming languages, you can get an [[/Overview|overview]].

Haskell is unique for two reasons. The first is that it is ''purely'' functional. If you have a function and you call it twice in two different places with the same arguments then it will return exactly the same value both times. Secondly, Haskell provides a very modern type system which incorporates features like typeclasses and generalized algebraic data types.  We don't expect you to know what these terms mean for now, but we do hope they'll be rolling smoothly off your tongue by the time you are done with this book.  So, why do Haskellers like the language then?  Is it just because we like using things that are unique and modern?  No,  Haskell programmers enjoy their work because dealing with just pure functions makes it so much easier to understand our programs and prove them correct. Moreover, having an advanced type system helps us catch our mistakes, both the silly and profound ones.

In this book we aim to introduce you both to the Haskell language, from the very basics to its most advanced features, and to computer programming in general.  Seasoned programmers, we urge you to be especially patient with this process.  In all likelihood, the languages you are most familiar with differ greatly from Haskell, and habits from those languages might make it more difficult to understand how things work: simple, but different.  So treat this as an adventure, a whole different world, seeing programming through the warped and mathematical mindset of a functional programmer.

{{Print version}}
{{PDF version}}

== Overview ==
The book is divided into three sections, namely, the Beginner's Track, the Advanced Track, and Practical Haskell. The last is designed to cover the more day-to-day issues, and to be readable with simply the knowledge of the Beginner's Track.

Please contribute! Everyone, regardless of Haskell competency, can help out. Spend five minutes improving a module and save someone else hours of time. Check out the [[/Notes for contributors|notes for contributors]].

== Beginner's Track ==

This section will introduce you to the very basics of the language and some of the more frequently used libraries. This will enable you to build simple programs and prepare you for the advanced track.

{|width="100%" cellspacing="0" cellpadding="15" valign="top" style="margin:0.8em 0;border:1px solid MediumAquamarine;background:honeydew"

|valign="top" style="border-right: 1px dashed MediumAquamarine"|

=== Haskell Basics ===
*{{Haskell chapter/Haskell Basics|sep=
*}}

|valign="top" style="border-right: 1px dashed MediumAquamarine"|

=== Elementary Haskell ===
*{{Haskell chapter/Elementary Haskell|sep=
*}}

|valign="top" style="border-right: 1px dashed MediumAquamarine"|

=== Intermediate Haskell ===
*{{Haskell chapter/Intermediate Haskell|sep=
*}}

|valign="top"|

=== Monads ===
*{{Haskell chapter/Monads|sep=
*}}

|}

== Advanced Track ==

This section will introduce wider functional programming concepts such as different data structures and type theory. It will also cover more practical topics like concurrency.

{|width="100%" cellspacing="0" cellpadding="15" valign="top" style="margin:0.8em 0; border: 1px solid SlateBlue; background:#F7F7FF"

|valign="top" style="border-right: 1px dashed SlateBlue"|

=== Advanced Haskell ===
*{{Haskell chapter/Advanced Haskell|sep=
*}}

|valign="top" style="border-right:1px dashed SlateBlue"|

=== Fun with Types ===
*{{Haskell chapter/Fun with Types|sep=
*}}

|valign="top" style="border-right:1px dashed SlateBlue"|

=== Wider Theory ===
*{{Haskell chapter/Wider Theory|sep=
*}}

|valign="top"|

=== Haskell Performance ===
*{{Haskell chapter/Haskell Performance|sep=
*}}

|}

== Haskell in Practice ==
This section covers the more day-to-day issues of working with Haskell, issues such as making use of the standard library, building graphical interfaces or working with databases. You should be able to jump directly to this section from the basic track.

{|width="100%" cellspacing="0" cellpadding="15" style="margin-top:0.8em;margin-bottom:0.8em;border:1px solid gold;background:cornsilk"

|valign="top" style="border-right: 1px dashed gold"|

=== Libraries Reference ===
*{{Haskell chapter/Libraries Reference|sep=&nbsp;-&nbsp;|breaksep=
**|firstsep=
*}}

|valign="top" style="border-right: 1px dashed gold"|

=== General Practices ===
*{{Haskell chapter/General Practices|sep=
*}}

|valign="top"|

=== Specialised Tasks  ===
*{{Haskell chapter/Specialised Tasks|sep=
*}}

|}

== Appendices ==
:[[/Solutions|Answers to exercises]]
:[[/Syntactic sugar/]]
:[[/Authors/|Authors and Acknowledgments]]

:[[/Notes for contributors/]]
:[[/To do/]]
:[[:Category:Haskell/Templates|Templates for the Haskell wikibook]]

== Alternate tutorials ==
* [[Write Yourself a Scheme in 48 Hours]] - (imported) An alternate approach to teaching Haskell (and perhaps Scheme), aimed at a more advanced audience (though not necessarily one that knows how to program!)
* [[/YAHT|Yet Another Haskell Tutorial]] - (imported) is aimed at beginners and takes a practical approach to things.  It is now part of this wikibook and will eventually be mixed in to the main text.
* [http://www.haskell.org/haskellwiki/Meta-tutorial Haskell Meta-tutorial] - the tutorial to find other tutorials

== Additional resources ==
* [http://www.haskell.org/learning.html haskell.org - Resources for learning Haskell].
*[http://www.cs.kent.ac.uk/people/staff/sjt/craft2e/ The resource page] for ''Haskell: the craft of functional programming

[[Category:Programming|Haskell]]
[[Category:Functional programming]]
[[Category:Haskell]]

[[zh:Haskell]]
[[de:Funktionale Programmierung mit Haskell]]
[[pl:Haskell]]
[[ru:Haskell]]