2IPH0       Declarative programming                                     20180222

Running in this theatre: 2017/18 Q3

This web page will be under construction permanently

for questions and other communication
contact
j.c.s.p.v.d.woude@tue.nl

Due to unforseen cirumstanes this course will be an experimental tryout again, so any remark and criticism is welcomed warmly and easily dealt with by referring to the experimental character.

This webpage should inform you on the course, its materials, duties and possibilities. So most of it will consist of  references and directives, can't make it much cosier.

Some details

The course runs in quartile 3 block E (Tuesday afternoon and Thursday morning).

Study guide

In order to  define the course content and help you study it there is a study guide, with a definition of the subject and material to study it per week. The guide will grow 
study guide

Exercises

It is very important to get to grips with the literature mentioned in the study guide, but it is evenly important to do the exercises. So we have a host of exercises. The study guide mentiones what exercises are relevant. Some are in the literature for the subject, but most are from the reader of 2IA05 the old course in functional programming.
exercises

There are solutions for many of these exercise, but not for all of them. The solutions may be in dutch, but we assume it doesn't hurt too much since the formulae are the same. In due time the existing solutions will be made available here.
V,

General references

There are many places to get your fp-knowledge from.
Mr Google will help you, so do we by presenting a few references here.

books
Graham Hutton,
Programming in Haskell, 2nd edition  (obligatory)

alternative paperware
Richard Bird, Thinking functionally with Haskell,
Simon Thompson, Haskell, the craft of functional programming
Paul Hudak, School of expression   (slightly old but interesting for music lovers)
Simon Peyton Jones, Haskell 98 language and libraries   (unreadable, only for reference)

online
Wikibooks, Haskell,  pdf       extensive but informative (~600 pages)
Real world Haskell,   url         idem
Miran Lipovaca, Learn you a Haskell for great good, pdf     ( too informal and too easy going)
Hal Daume III, yet another Haskell tutorial,  pdf  (?)


software
We'll use the functional language Haskell via the Haskell platform.
(Of course you are free, even encouraged, to look at other  languages too, like ELM, Clean, SML and what have you more.)
In order to work with the software, you have to get it and install it. The process is described in

installation remarks

Arduin mentioned that the proud Mac OS user might want to get 'homebrew' from
www.brew.sh
Just type and run in your terminal
brew install ghc cabal-install

Weekly plan with relevant material (to evolve during the quartile)

A rough sketch of the course plan in week subjects with references to the relevant chapters in the book of Hutton.
More details are mentioned in the study guide.
  1. a first meet and greet with functional programming and Haskell in particular, (Hutton 1-5)
  2. recursion ( Hutton 6,7) 
  3. types and classes (Hutton 8), inductive types
  4. algebra's (handout) and reasoning about programs (Hutton 16)
  5. lazy programs, coinduction (Hutton 15)
  6. monads and I/O (Hutton 10,12)
  7. parsing (Hutton 13), dynamic programming
  8. (optional enrichment)  lambda calulus, logic programming

Material week 1

Material week 2