Haskell Road ILLC Project, June 2012


General Information about the Project

This project is a lightning course in programming in the functional programming language Haskell. We will use The Haskell Road to Logic, Maths and Programming [1] (see here). Copies of The Haskell Road will be made available to you at the first project meeting, at the discounted price of 15 euros. You will get your copy of the book in exchange for exact payment in cash on the spot. The first two weeks you will develop basic programming skills by going through a substantial number of the programming exercises in the first five chapters of [1]. In the third week you will develop your own tableau-style theorem prover for first-order logic. In the fourth week you will get a choice menu of tasks, or you can work on an implementation task related to your own interest. The deliverable for this final week is a documented Haskell program written in literate style.

The overall aim of the project is to get you so familiar with Haskell that you can use it in the future as a modelling tool for your own logic research. It will change your life.

Prerequisites

This project is intended for students who are not yet familiar with functional programming. Programming experience in other languages is irrelevant (it can even harm your progress in this project).

Reference K. Doets and J. van Eijck. The Haskell Road to Logic, Maths and Programming. Texts in Computing. College Publications, London, 2004.

Course Goals:


Participants

Current list: Maja Jaakson, Riccardo Pinosio, Alexander Block, Jiahong Guo, Tanmay Inamdar, Sanne Brinkhorst, Georgios Sarailidis, Hans Bugge Grathwohl, Justin Kruger, Eric Flaten, Nal Kalchbrenner, Holger Brunn, Cecilia Hernandez, Julia Ilin.


Project Meetings Here is a provisional schedule. All meetings will take place at CWI. You will have to ask for access at the CWI reception desk. Rooms will be announced here, as soon as the information becomes available.


Project Overview

We will treat the following, roughly in this order:


Grading

You will be graded on the basis of your deliverable for the final week.


Lecture slides, assignments, programs


Week 1


Week 2


Week 3


Deadlines

Week 4: special topics.