This page is under construction.

4. Software

1. Haskell examples
2. A Haskell library
3. A library of sorting routines
4. lhs2TeX, see also separate homepage
5. Functional Metapost
6. Priority search queues
7. Syntax highlighting files for KDE's Kate
8. Generics for the masses
9. Frown - an LALR(k) parser generator for Haskell, see also separate homepage

NB. The programs were written for Haskell 1.2!

Simple examples

• Hello world: main = putStr "hello world\n"
• A few Quicksorts
• A few Heapsorts

Advanced examples

• A UNIX shell (by Jim Mattson)
• A monadic evaluator
• Coloring a planar map
• The Queens problem

Big examples

• Mathematica ;-) (.dvi)

4.2 A Haskell library

NB. The library was written for Haskell 1.2!

Supported libraries

• Binary trees
• Continuation passing style
• State transformer based on CPS
• Parsing based on CPS
• Pretty printing
• Random numbers
• Sorting: Quicksort, Mergesort, natural sorting
• Subsequences
• Ordered lists (implement sets) (work in progress)
• Ordered association lists (implement finite maps) (work in progress)
• 2-3 Trees (implement sets) (planned)
• 2-3 Association Trees (implement finite maps) (planned)
• Tries (implement sets of type [a]) (planned)
• Association Tries (implement finite maps of type [a] -> b)
• Multisets (also known as bags)
• Splay trees (work in progress)
• Sets based on Splay trees (work in progress)

Auxiliary libraries

• Benchmark (very simple profiling)
• Command line interpreter
• IOSupport
• Support

Sorting algorithms are a hobby horse of mine. Here is a collection of known and not so widely known algorithms in Haskell: Sort.tar.bz2 (Hugs support is currently broken).

4.4 lhs2TeX

lhs2TeX is a preprocessor for typesetting Haskell programs (well, not just Haskell) that combines some of the good features of pphs and smugweb.

The latest, greatest version of lhs2TeX can be found here. Andres Löh is the new (well, actually the first) maintainer of lhs2TeX, thanks Andres!

4.5 Functional Metapost

Source tarballs: version 0.1, version 0.2. Joachim Korittky's diploma thesis (in German) explains Functional MetaPost.

4.6 Priority search queues

Here is accompanying material for the paper A Simple Implementation Technique for Priority Search Queues (also available as: 58K gzipped postscript, 168K PDF, 15K tar archive of the sources).

4.7 Syntax highlighting files for KDE's Kate

Here are syntax highlighting files for Haskell scripts and for Literate Haskell scripts (simply install them in ~/.kde/share/apps/kate/syntax/ or in the global $(PREFIX)/share/apps/kate/syntax/).

4.8 Generics for the masses

Here is accompanying material for the paper Generics for the masses: 8K bzip2 tar archive of the sources.

4.9 Frown

Frown is an LALR(k) parser generator for Haskell 98 written in Haskell 98.

The latest, greatest version of Frown can be found here.