UKUUG home

UKUUG Spring 2011 Conference

22-24 March 2011 in Leeds

Conference Home

Call for Papers

Booking

Bursaries

Tutorial

Conference Programme

Timetable

Social

Dinner

Sponsors

Venue

Accommodation

Contact Details

 


 

Haskell Tutorial (Tutor: Edwin Brady)

Haskell is a purely functional programming language. It has a mature, robust, implementation (The Glasgow Haskell Compiler) which produces efficient, highly optimised executables. In this tutorial I will give an overview of Haskell and explain the strengths which have led it to begin to emerge from its academic roots into the mainstream.

I will give a detailed, hands-on, example-driven, introduction to programming in Haskell, focussing on realistic systems programming problems. In the first session, I will introduce the fundamental features of the language, including interaction with the operating system, data types and functions, and the high level abstractions which lead to elegant and concise programs.

In the second session, I will cover more advanced concepts which illustrate the strengths and power of Haskell. We will see how Haskell can be used to improve programmer productivity through the use of Embedded Domain Specific Languages, and how its purity allows straightforward implementation of multicore programs.

It will be useful, but not necessary, to have a laptop with the Haskell Platform installed.

About the tutor

Edwin Brady is an Advanced Research Fellow in the School of Computer Science at the University of St Andrews. He teaches the school's recently introduced Haskell course. His research interests are in programming language design and implementation, in particular using functional programming languages to implement safe, efficient, formally verified network protocols.

He has published widely on domain specific language implementation and on novel applications of functional languages for systems programming. He is a regular speaker at conferences and user groups, and his main claim to fame, which he is still trying to live down, is that he is the designer and implementer of the Whitespace programming language (implemented in Haskell, of course).

UKUUG Secretariat
PO BOX 37
Buntingford
Herts
SG9 9UQ
More information

Page last modified 11 Mar 2011
Copyright © 1995-2010 UKUUG Ltd.