Functional programming (autumn 2003)

Suomeksi
Korppi page

Taking this course in English

If you are unable to follow the Finnish lectures due to language difficulties, there is another way. You can use one of several as-of-yet-unspecified textbooks. You can do the weekly exercises in English, as well as the course project and the exam.

You should enroll at Korppi and fill out the Foreign students form there.

Further information will be provided later.

Prerequisities

Since this is an advanced-level course, I expect students attending to know some things already:

• First, I assume that they have studied information technology for several years. They should have most of the subject studies (cum laude) completed - or, of course, the equivalent. I assmue that they are able to program and have experience in programming - preferably more than just the minimum required course projects.
• Second, I assume that they are acquainted with mathematical thinking and formal formula manipulation. I don't expect them to have any specific mathematical skills - though the basics of logic and the university-level concept of function will become handy.
• Third, I assume that they know what is a context-free grammar and are able to make practical use of it. Specifically, they should be able to write the context-free grammar specifying simple arithmetical formulae like 4 * (5 + 6) - 9 * 3.
• Fourth, I assume that they know what a Turing machine (or, possibly a Random-Access Machine aka RAM) is and what it has to do with computing. I don't require formal understanding of the machine, but an intuitive understanding is necessary.

None of these are necessary for learning Functional Programming, but they hopefully allow us to consider advanced stuff as well.

Links

• Problem solving in Haskell
• Functional Programming: Autumn 2000 Course (Åbo Akademi)
• Advanced Functional Programming (Chalmers University of Technology)
• CSCI 555: Functional Programming (The University of Mississippi)