2006 Commercial Users of Functional Programming
September 21, 2006
Co-located with ICFP

Functional Programming As a Means, Not an End

   The workshop was held on September 21, 2006.

   57 people attended, by far the largest attendance yet.

   All of the talks were well-received, and the discussions were lively and productive.

   Slides available

   Report available

The goal of CUFP is to build a community for users of functional programming languages and technology, be they using functional languages in their professional lives, in an open source project (other than implementation of functional languages), as a hobby, or any combination thereof.

In short: anyone who uses functional programming as a means, but not an end.

Functional languages have been under academic development for over 25 years, and are still proving to be very fertile ground for programming language research. Consequently, most of the development focus of these languages is driven by academic and theoretical questions. More recently, however, functional languages have been very successfully used in commercial, industrial, open-source, and government settings, where their advantages have been able to be leveraged dramatically.

It aims to help functional programming become increasingly viable as a technology for use in the commercial, industrial, and government space, by providing a forum for FP professionals to share their experiences and ideas, whether business, management, or engineering. It also aims to enable the formation and cementing of relationships and alliances that further the commercial use of functional languages. Providing user feedback to language designers and implementers is not a primary goal of the workshop, though it will be welcome if it occurs.

This was the third CUFP; see CUFP 2004 and CUFP 2005 for information about the earlier meetings.


The meeting lasted a full day, with a mix of invited presentations and two discussion sessions. Slides, if available, are linked to below.

8:30 Haskell and the Linspire Toolchain. Clifford Beshers, Linspire Inc. abstract, slides (pdf), slides (ppt)
9:00 Building a Startup with Standard ML. Steve Sims, Reactive Systems, Inc. abstract, slides (pdf)
9:30 Scheme in Space. Richard Cleis, Air Force Research Lab. abstract
10:00 B R E A K
10:30 Caml Trader: Adventures of a Functional Programmer on Wall Street. Yaron Minsky, Jane Street Capital. abstract, slides (pdf)
11:00 Why Functional Programming Matters to Credit Suisse. Howard Mansell, Credit Suisse First Boston. abstract slides (pdf)
11:30 Group Discussion: Mixed Mode Approaches and/or Finding Employees.
12:00 L U N C H
2:00 Analysis of Microprocessor Components with a Functional Language-based Formal Verification Toolbox. Roope Kaivola, Intel Corporation. abstract, slides (ppt)
2:30 Bringing Declarative Programming into a Commercial Tool for Developing Integrated Circuits. Rishiyur Nikhil, Bluespec, Inc. abstract slides (pdf)
3:00 Group Discussion: Adoption of New Technology: Making the Case.
3:30 B R E A K
4:00 Artifically Intelligent Haskell. J. Garret Morris, Aetion Inc. slides (pdf)
4:30 Betting on Functional Programming and Winning. Erik Stenman, Kreditor. abstract
5:00 Wrap-Up.

There will be no published proceedings, as the meeting is intended to be more a discussion forum than a technical interchange. Reports of the two previous workshops have appeared in the Functional Programming column of the December 2004 issue of SIGPLAN Notices, and we plan to do the same again this year. The CUFP 2004 report is available for download; last year, Simon Thompson kindly wrote up some notes about his impressions.


John Hughes. rjmh at cs.chalmers.se
Matthias Felleisen. matthias at ccs.neu.edu
Stephen Weeks. sweeks at sweeks.com
Ulf Wiger. ulf.wiger at ericsson.com
Mike Ashley. mashley at beckman.com
Jim Grundy. Jim_Grundy at ichips.intel.com
Andy Adams-Moran. adams-moran at galois.com (Co-Chair)
Kathleen Fisher. kfisher at research.att.com (Chair)