Haskell - Wikimedia Commons

Nov 27, 2016 - It would not allow calling anyone by phone. Also, each digit ..... Then load the file in GHCi and check the type of x. Then, change the ..... We put the let keyword before the declaration, and then use in to signal we are returning.
6MB Sizes 9 Downloads 91 Views
Haskell

en.wikibooks.org

November 27, 2016

On the 28th of April 2012 the contents of the English as well as German Wikibooks and Wikipedia projects were licensed under Creative Commons Attribution-ShareAlike 3.0 Unported license. A URI to this license is given in the list of figures on page 603. If this document is a derived work from the contents of one of these projects and the content was still licensed by the project under this license at the time of derivation this document has to be licensed under the same, a similar or a compatible license, as stated in section 4b of the license. The list of contributors is included in chapter Contributors on page 589. The licenses GPL, LGPL and GFDL are included in chapter Licenses on page 607, since this book and/or parts of it may or may not be licensed under one or more of these licenses, and thus require inclusion of these licenses. The licenses of the figures are given in the list of figures on page 603. This PDF was generated by the LATEX typesetting software. The LATEX source code is included as an attachment (source.7z.txt) in this PDF file. To extract the source from the PDF file, you can use the pdfdetach tool including in the poppler suite, or the http://www. pdflabs.com/tools/pdftk-the-pdf-toolkit/ utility. Some PDF viewers may also let you save the attachment to a file. After extracting it from the PDF file you have to rename it to source.7z. To uncompress the resulting archive we recommend the use of http://www.7-zip.org/. The LATEX source itself was generated by a program written by Dirk Hünniger, which is freely available under an open source license from http://de.wikibooks.org/wiki/Benutzer:Dirk_Huenniger/wb2pdf.

Contents 1

Haskell Basics

3

2

Getting set up 2.1 Installing Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 First code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 5 6

3

Variables and functions 3.1 Variables . . . . . . . . . . . . . . 3.2 Haskell source files . . . . . . . . . 3.3 Comments . . . . . . . . . . . . . 3.4 Variables in imperative languages . 3.5 Functions . . . . . . . . . . . . . . 3.6 Local definitions . . . . . . . . . . 3.7 Summary . . . . . . . . . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

7 7 7 9 9 11 14 15

Truth values 4.1 Equality and other comparisons . 4.2 Boolean values . . . . . . . . . . 4.3 Infix operators . . . . . . . . . . 4.4 Boolean operations . . . . . . . . 4.5 Guards . . . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

17 17 18 19 20 21

Type basics 5.1 Introduction . . . . . . . . . . . . . . 5.2 Using the interactive :type command 5.3 Functional types . . . . . . . . . . . . 5.4 Type signatures in code . . . . . . . .

. . . .

. . . .

. . . .

. . . .