Personal tools

Informatics 1 - Functional Programming

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
Line 32: Line 32:
   
 
<b>Note:</b> to run GLFW under Mac OS X you have to use [[WxHaskell/MacOS X#Using wxHaskell on MacOS X platforms|EnableGUI]] (easy instructions are on the [http://www.haskell.org/soe/software1.htm SOE site]).
 
<b>Note:</b> to run GLFW under Mac OS X you have to use [[WxHaskell/MacOS X#Using wxHaskell on MacOS X platforms|EnableGUI]] (easy instructions are on the [http://www.haskell.org/soe/software1.htm SOE site]).
  +
  +
=== GHC Installation ===
  +
  +
For some brief notes on installing ghc with GLFW on windows see [[Informatics 1 Windows Installation]]

Revision as of 23:23, 8 October 2008

The course Informatics 1 - Functional Programming is the first programming course taught to students at the School of Informatics of the University of Edinburgh.

Contents

1 Instructor

The course lecturer is professor Philip Wadler.

2 Setup

The course consists of 20 lectures and 10 tutorials spread over the length of the first semester of the year (September–December). Each tutorial has its own set of exercises, and examination is by two programming tests.

3 Students' background

The course is aimed primarily at students with no prior programming experience.

4 Materials

4.1 Textbook

The course textbook is Simon Thompson: Haskell, the Craft of Functional Programming.

4.2 Editor

The text editor used in the course is Emacs in Haskell mode.

4.3 Packages

Most exercises require students to verify their code using QuickCheck, where writing appropriate test properties is part of the challenge. In addition, some tutorial exercises use a modified version of the School of Expression graphics library, which relies on the following packages:

Note: to run GLFW under Mac OS X you have to use EnableGUI (easy instructions are on the SOE site).

4.4 GHC Installation

For some brief notes on installing ghc with GLFW on windows see Informatics 1 Windows Installation