numbers game

Graham Hutton gmh@Cs.Nott.AC.UK
Thu, 18 Oct 2001 14:19:33 +0100

Dear all,

The following new paper may be of interest to readers of this group:

It shows how to develop a Haskell program to solve the numbers game from
countdown, a popular quiz show on British television.  The aim wasn't to
produce solutions as fast as possible (although in absolute terms the
program actually performs rather well), but rather to show how the program
itself could be developed in systematic way in conjunction with a proof
of its correctness.  It's the kind of example that could be covered in
one or two lectures as part of a Haskell course.

Have fun!


p.s. The paper will appear as a functional pearl in JFP.

| Dr Graham Hutton                     Email :      |
| Foundations of Programming Group     Web   : |
| School of Computer Science and IT                                   |
| University of Nottingham                                            |
| Jubilee Campus, Wollaton Road                                       |
| Nottingham NG8 1BB                                                  |
| United Kingdom                                                      |