Real World Applications of Functional Programming

In May 1994, Robert Giegerich and John Hughes organised a very successful Dagstuhl workshop on Functional Programming in the Real World. It became clear at this workshop that there are a number of real-world applications of functional programming. This page contains a list of some of these. We make no claims of completeness. Further contributions are solicited!

Programs written in any functional language (SML, CAML, Haskell, Miranda, etc.) are welcome. Functional is used in the broad sense that includes both `pure' programs (no side effects) and `impure' (some use of side effects). The main criterion for being real-world is that the program was written primarily to perform some task, not primarily to experiment with functional programming. If in doubt whether your application is suitable for the list, please ask.

Please submit entries in a format similar to those below. You may find it best to copy the source of this page, then use one of the entries as a skeleton and fill in your own details. Otherwise, any roughly similar format is fine. Submit by e-mail to Jonathan Hogg (address below).

For more on FP, see the Functional Programming FAQ.

Philip Wadler, wadler@dcs.gla.ac.uk (list originator)
Jonathan Hogg, jonathan@dcs.gla.ac.uk (list maintainer)


Lists of Applications

Industrial

Compliers, Interpreters and Partial Evaluators

Syntax Tools

Theorem Provers and Reasoning Assistants

Network Toolkits and Applications

Natural Language Processing and Speech Recognition

Numerically Based Applications

Analysis Tools

Operating Systems

Games and Novelties