Personal tools

Informatics 1 - Functional Programming

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
(2 intermediate revisions by one user not shown)
Line 26: Line 26:
 
=== Packages ===
 
=== 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 [http://www.haskell.org/SOE School of Expression graphics library], which relies on the following 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 OpenGL graphics, and depend on the following packages:
   
 
* [[OpenGL]]
 
* [[OpenGL]]
* [[GLFW]]
+
* [[GLUT]]
   
<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]).
+
Previous incarnations of the course relied on [[GLFW]] instead of [[GLUT]].
   
 
=== GHC Installation ===
 
=== GHC Installation ===
   
For some brief notes on installing ghc with GLFW on windows see [[Informatics 1 Windows Installation]]
+
For some brief notes on installing ghc on windows see [[Informatics 1 Windows Installation]]
  +
  +
== Support ==
  +
  +
There are several ways of getting help with your FP course (or with any aspect of the informatics 1 coursework). Some of these involve using IRC. If you have never used IRC before then take a look at CompSoc's [http://compsoc.tardis.ed.ac.uk/wiki/IRC_Tutorial IRC Tutorial].
  +
  +
The Informatics 1 channel is #inf1 on irc.imaginarynet.org.uk. Here you will find fellow 1st year students who are all doing the same work as you, along with a variety of higher students who will help you. The channel is run by <b>Quest</b> (otherwise known as Ed Leiper) who is one of the FP tutors.
  +
  +
You can also get a lot of help from [http://compsoc.tardis.ed.ac.uk CompSoc], which is the university-wide Computing Society. You will find members on IRC channel #compsoc.
  +
  +
The labs on the fifth floor of Appleton Tower have demonstrators on-hand specifically to help first year student from 3-5 every week day. You will notice them because they will be lounging around at the front of the room. Sticking your hand in the air will get their attention. They're very friendly and have been prepared on what you will be working with.

Latest revision as of 10:50, 12 October 2009

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

[edit] 1 Instructor

The course lecturer is professor Philip Wadler.

[edit] 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.

[edit] 3 Students' background

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

[edit] 4 Materials

[edit] 4.1 Textbook

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

[edit] 4.2 Editor

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

[edit] 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 OpenGL graphics, and depend on the following packages:

Previous incarnations of the course relied on GLFW instead of GLUT.

[edit] 4.4 GHC Installation

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

[edit] 5 Support

There are several ways of getting help with your FP course (or with any aspect of the informatics 1 coursework). Some of these involve using IRC. If you have never used IRC before then take a look at CompSoc's IRC Tutorial.

The Informatics 1 channel is #inf1 on irc.imaginarynet.org.uk. Here you will find fellow 1st year students who are all doing the same work as you, along with a variety of higher students who will help you. The channel is run by Quest (otherwise known as Ed Leiper) who is one of the FP tutors.

You can also get a lot of help from CompSoc, which is the university-wide Computing Society. You will find members on IRC channel #compsoc.

The labs on the fifth floor of Appleton Tower have demonstrators on-hand specifically to help first year student from 3-5 every week day. You will notice them because they will be lounging around at the front of the room. Sticking your hand in the air will get their attention. They're very friendly and have been prepared on what you will be working with.