Haskell in industry
Haskell has a diverse range of use commercially, from aerospace and defense, to finance, to web startups, hardware design firms and a lawnmower manufacturer. This page collects resources on the industrial use of Haskell.
In February 2009 the Industrial Haskell Group was launched to support the needs of commercial users of the Haskell programming language. Phase 2 of the effort, expanding membership to research groups and startups with smaller budgets, was launched in November 2009
The main user conference for industrial Haskell use is CUFP - the Commercial Users of Functional Programming Workshop. The annual conference is coming up in October 2010.
Industrial Haskell: 2009 status report
Industrial Haskell Group
For the first time, in 2009, a consortium of companies came together to fund continued development of Haskell and its toolchain. The result is the IHG, launched earlier in the year. The initial round of funding resulted in several improvements to the ecosystem. The group is seeking to expand membership in 2010 to further consolidate the commercial strength Haskell. The Birth of the IHG was presented at the "Commercial Users of Functional Programming" workshop.
2009's Commercial Users of Functional Programming workshop was held in Edinburgh, and included talks on:
Next year's CUFP will be held in Baltimore.
A number of experience reports on the use of Haskell were presented in 2009:
- As part of Galois' 10th birthday, Don Stewart presented a talk at the LondonHUG on Engineering Large Projects in Haskell, celebrating a decade of use of Haskell by Galois.
- TypLAB, a new startup talked about why they use Haskell.
- Facebook released its lex-pass tool to automate changes to a PHP codebase, by writing abstract-syntax-tree transformers in Haskell; and
- Starling Software described building a real time financial trading system in Haskell :: PDF.
- Tom Hawkin's Atom EDSL for control systems went into production use in trucks and buses, and is starting to be used on a NASA runtime monitoring project.
- The Cryptol release got slashdotted.
- Tupil.com talked about their experiences building commercial web apps in Haskell.
Haskell in Industry
Many companies have used Haskell for a range of projects, including:
- ABN AMRO Amsterdam, The Netherlands
- ABN AMRO's CUFP talk.
- Aetion Technologies LLC Columbus, Ohio
- Aetion's CUFP talk.
- Amgen Thousand Oaks, California
Amgen uses Haskell;
- Provide a more mathematically rigorous validation of software
- Amgen's CUFP talk.
- Antiope Fair Haven, New Jersey
Antiope Associates provides custom solutions for wireless communication and networking problems. Our team has expertise in all aspects of wireless system design, from the physical and protocol layers to complex networked applications. Antiope Associates's relies on a number of advanced techniques to ensure that the communication systems we design are reliable and free from error. We use custom simulation tools developed in Haskell, to model our hardware designs..
- Antiope's CUFP talk.
- Anygma Antwerp, Belgium
Haskell is being used for backend data transformation and loading.
- bCODE Pty Ltd Sydney Australia
- Bluespec, Inc. Waltham, Massachusetts
- Bluespec's CUFP talk.
- Circos Brand Karma Singapore
Brand Karma provides services to brand owners to measure online sentiments towards their brands. Haskell is used in building parts of the product, specifically for back-end job scheduling and brand matching.
- Credit Suisse Global Modelling and Analytics Group London, UK; New York City, New York
GMAG, the quantitative modelling group at Credit Suisse, has been using Haskell for various projects since the beginning of 2006, with the twin aims of improving the productivity of modellers and making it easier for other people within the bank to use GMAG models. Current projects include: Further work on tools for checking, manipulating and transforming spreadsheets; a domain-specific language embedded in Haskell for implementing reusable components that can be compiled into various target forms (see the video presentation: Paradise, a DSEL for Derivatives Pricing).
- Credit Suisse's CUFP talk.
- Deutsche Bank's CUFP talk.
- Eaton Cleveland, Ohio
Design and verification of hydraulic hybrid vehicle systems
- [Ericsson AB]
Ericsson uses Haskell for the implementation of Feldspar, an EDSL for digital signal processing algorithms.
- Ericsson's Feldspar compiler
Facebook uses some Haskell internally for tools. lex-pass is a tool for programmatically manipulating a PHP code base via Haskell.
- Facebook's CUFP talk
actis research, located in Freiburg, Germany, develops reliable and user-friendly mobile solutions. Our client software runs under J2ME, Symbian, iPhone OS, Android, and Blackberry. The server components are implemented in Python and Haskell. We are actively using Haskell for a number of projects, most of which are released under an open-source license.
- Factis' HCAR submission
Gamr7 is a startup focused on procedural city generation for the game and simulation market.
- Galois, Inc Portland, Oregon
- Galois' CUFP talk
- Galois' retrospective on 10 years of industrial Haskell use
Glyde uses OCaml and Haskell for a few projects. Glyde uses Haskell for our client-side template source-to-source translator, which converts HAML-like view templates into JS code.
Open web development company. Now merged with happstack
- Hustler Turf Equipment Hesston, Kansas
Designs, builds, and sells lawn mowers. We use quite a bit of Haskell, especially as a "glue language" for tying together data from different manufacturing-related systems. We also use it for some web apps that are deployed to our dealer network. There are also some uses for it doing sysadmin automation, such as adding/removing people from LDAP servers and the like
- iba Consulting Gesellschaft - Intelligent business architecture for you. Leipzig, Germany
iba CG develops software for large companies:
- risk analysis and reporting solution for power supply company;
JanRain uses Haskell for network and web software.
Joyride Laboratories is an independent game development studio, founded in 2009 by Florian Hofer and Sönke Hahn. Their first game, "Nikki and the Robots" will be released in 2010.
- Linspire's CUFP talk
- Linspire's experience report on using functional programming to manage a Linux distribution
MITRE uses Haskell for, amongst other things, the analysis of cryptographic protocols.
NICTA has used Haskell as part of a project to verify the L4 microkernel.
Openomy's API v2.0 is developed in Haskell, using the HAppS web platform.
Need somewhere to put your darcs code? Try us.
Patch-Tag is built with happstack, the continuation of the project formerly known as HAppS.
- Peerium, Inc Cambridge, Massachusetts
Qualcomm uses Haskell to generate Lua bindings to the BREW platform
- Renaissaince Computing Institute, Chapel Hill, North Carolina
Research scientists at RENCI have used Haskell for a number of projects, including The Big Board.
- RENCI's CUFP talk.
- Signali Portland, Oregon
Signali Corp is a new custom hardware design company. Our chief products are custom IP cores targeted for embedded DSP and cryptographic applications. Our specialty is the design and implementation of computationally intensive, complex algorithms. The interfaces to each core are modular and can be very efficiently modified for your specific application. System-level integration and validation is crucial and is the majority of investment in a product.
Standard Chartered has a group using Haskell in finance.
- Starling Software Tokyo, Japan
- Starling Software's experience building real time trading systems in Haskell
- Tsuru Capital Tokyo, Japan
Tsuru Capital is operating an automated options trading system written in Haskell.
- Tupil Utrecht, The Netherlands
Tupil is a Dutch company that built software for clients, written in Haskell. Tupil used Haskell for the speed in development and resulting software quality. The company is founded by Chris Eidhof and Eelco Lempsink. Currently they build iPhone/iPad applications in Objective-C.
- Tupil's experience building commercial web apps in Haskell
- TypLAB Amsterdam, The Netherlands
TypLAB investigates and develops new ways of creating and consuming online content.
- TypLAB's blog on why they use Haskell
- Sensor Sense Nijmegen, The Netherlands
Sensor Sense is offering high technology systems for gas measurements in the ppbv down to pptv range. We use Haskell for the embedded control software of our trace gas detectors.
If you're using Haskell commercially, please add your details here.
The Industrial Haskell Group
The Industrial Haskell Group (IHG) is an organisation to support the needs of commercial users of the Haskell programming language.
Jobs and recruitment
See also the Jobs in Functional Programming event.