A decoder for images compressed by the JPEG algorithm is stated in the pure functional programming language Gofer. The program can be regarded as a mathematical specification of the decompression algorithm; the concise description (which is included in full) is very suitable for learning about the algorithm. At the same time the `specification’ is an executable program, which shows the usefulness of a functional programming language as a prototyping tool for graphics algorithms

http://www.cs.uu.nl/people/jeroen/article/jpeg/index.html