Dear all, The following new paper may be of interest to readers of this group:
http://www.cs.nott.ac.uk/~gmh/countdown.pdf 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! Graham p.s. The paper will appear as a functional pearl in JFP. +---------------------------------------------------------------------+ | Dr Graham Hutton Email : [EMAIL PROTECTED] | | Foundations of Programming Group Web : www.cs.nott.ac.uk/~gmh | | School of Computer Science and IT | | University of Nottingham | | Jubilee Campus, Wollaton Road | | Nottingham NG8 1BB | | United Kingdom | +---------------------------------------------------------------------+ _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
