in this theatre: 2016/17 Q3
web page will be under construction permanently
questions and other communication
NEW 20170421 Exam and solutions (pdf)
NEWER 20170704 Exam and solutions (pdf)
course is an experimental pilot, so
any remark and criticism is welcomed warmly and easily dealt with by
referring to the experimetal character.
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.
course runs in
quartile 3 block E (Tuesday afternoon and Thursday morning).
Responsible staff: Jaap
van der Woude and Arthur van Goethem
level 3 , 5ects, exam and assignment (70%-30%)
Roomservice: Tuesdays 5+6 in MF14
Exam date: yet to be defined.
order to define the course content and help you study it
a study guide, with a definition of the subject and material to study
it per week. The guide will grow but now only addresses the first two
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. For the
moment not every exercise has been translated, but within a few days
they will be.
are many places to get your fp-knowledge from. Mr Google will help you,
so do we by presenting a few references here.
do not really use books, but it doesn't hurt to have some.
of them are available on line
Programming in Haskell, snd
Bird, Thinking functionally with Haskell,
Thompson, Haskell, the craft of functional programming
Hudak, School of expression (slightly old but interesting
for music lovers)
Peyton Jones, Haskell 98 language and libraries (unreadable,
only for reference)
extensive but informative (~600 pages)
world Haskell, url
Lipovaca, Learn you a Haskell for great good, pdf
( too informal and too easy going)
Daume III, yet another Haskell tutorial, pdf
literature mentioned in the study guide is here refered to. The list
will grow soon.
of the nonlocal papers are available freely, but the reference here is
to a local store.
A quicky on lambda calculus, pdf
Rojas, A tutorial introduction to lambda calculus, pdf
2IA05 on lambda calculus , pdf
Hudak, A gentle introduction to Haskell , pdf
Hutton, powerpoint slides ch1, ch
(with greatly acknowledged permission)
standard prelude, htm
Haskelll scripts to play around with in GHCi
types, ch 6 from the Haskell report, htm
Hutton powerpoint slides ch3, ch10
sets, the algebraic way, pdf
2IA05 2007/8, pdf
theorems for free, pdf
about recursion, htm
Hutton, powerpoint slides, ch 5, ch6, (ch7)
to work on lists-HaskellWiki, pdf
coding exercise, pdf
Hutton, powerpoint slides, ch7
Hutton, A tutorial on the universality and expressiveness of fold, pdf
sets, the algebraic way, pdf
2IA05 on inductivity, pdf
slides on foldn, pdf
Gibbons, Calculating functional programs, ch 5 of algebraic and
coalgebraic methods in the mathematics of program construction, pdf
Hutton, powerpoint slides, ch9
you a Haskell for great good ch 9.1-3, pdf
gentle introduction to Haskell-IO, htm
Esposito, Yblog- learn Haskell Fast and Hard, htm
more files in the directory nim
Hutton, powerpoint slides, ch8
monadic parser combinators, pdf
more files in the directory pico
Dan Piponi, You could have invented monads,
Rik and Jaap, Monaatje, pdf
HaskellWiki monads, three papers (monads, as containers, as
Wikibooks monads and categories, two papers, pdf
All about monads, pdf
Brent Yorgey, Typeclassopedia, pdf
Rik and Jaap, standard algorithms, three papers, pdf
week7Rik and Jaap, Streams, pdf
week8 (voluntary, optional, not for exam)Rik van Geldrop, Bird's eye view of Logic Programming, pdf
Eugen Schindler, Getting started with SWI, pdf
prolog files, dir
my perception of a self-tuition course students ought to do the
exercises themselves and the teacher should provide some solutions to
inform the students about the style and content. Let me stress that
solutions are not to be read before you do the exercise, it only is
useful and informative if you first try to solve the problems yourself.
will provide solutions after the corresponding exercise sessions.
every exercise has a latexed solution, but many do. A draw back may be
that many of the solutions are Dutch. We hope it still is useful for
non-dutch speaking students. The calculations and formulae are the same
in all languages.
T, B, S, A
the introduction of the course on 20170207 in MF14,
students were present. The others may want to refer to my cheat sheets.
order to work with the soft ware, you have to get it and install it.
The process is described in
mentioned that the proud Mac OS user might want to get 'homebrew' from
type and run in your terminal
install ghc cabal-install
those interested in the genesis of the course: here is the definition
of it after adaptation to several boundary conditions.
of course definition