Haskell in industry
Haskell is growing in commercial use. This page collects resources on the industrial use of Haskell.
Haskell in Industry
- ABN AMRO Amsterdam, The Netherlands
- ABN AMRO's CUFP talk.
- Aetion Technologies LLC Columbus, Ohio
Aetion is a defense contractor whose applications use artificial intelligence. Rapidly changing priorities make it important to minimize the code impact of changes, which suits Haskell well. Aetion has developed three main projects in Haskell, all successful. Haskell's concise code was perhaps most important for rewriting: it made it practicable to throw away old code occasionally. DSELs allowed the AI to be specified very declaratively.
- Aetion's CUFP talk.
- Anygma Antwerp, Belgium
Anygma is a startup company focusing on generating easy-to-use tools for creating audio-visual 2D/3D content, in the area of entertainment, media, corporate communication and the internet. The company is closely related to Nazooka, a niche player in the media industry, specialized in creating cross media concepts and communication solutions. Anygma is using Haskell to quickly build a prototype of its new content creation platform, targeted towards artistsand designers.
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..
Amgen is a human therapeutics company in the biotechnology industry. Amgen pioneered the development of novel products based on advances in recombinant DNA and molecular biology and launched the biotechnology industry’s first blockbuster medicines.
Amgen uses Haskell;
- To rapidly build software to implement mathematical models and other complex, mathematically oriented applications
- Provide a more mathematically rigorous validation of software
- To break developers out of their software development rut by giving them a new way to think about software.
- Amgen's CUFP talk.
Barclays Capital's Quantitative Analytics group is using Haskell to develop an embedded domain-specific functional language (called FPF) which is used to specify exotic equity derivatives. These derivatives, which are naturally best described in terms of mathematical functions, and constructed compositionally, map well to being expressed in an embedded functional language. This language is now regularly being used by people who had no previous functional language experience.
- Bluespec, Inc. Waltham, Massachusetts
- Bluespec's CUFP talk.
- Bug Labs is using Haskell internally for a number of applications.
- Credit Suisse Global Modelling and Analytics Group 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.
The Directional Credit Trading group uses Haskell as the primary implementation language for all its software infrastructure.
- Deutsche Bank's CUFP talk.
Design and verification of hydraulic hybrid vehicle systems
- Eaton's CUFP talk
Gamr7 is a startup focused on procedural city generation for the game and simulation market.
- Galois, Inc Portland, Oregon
- Galois, Inc's CUFP talk
Open web development company.
Positions for Haskell programmers focusing on building infrastructure, applications, and technical support for quantitative equity trading business.
- iba Consulting Gesellschaft - Intelligent business architecture for you
iba CG develops software for large companies:
- risk analysis and reporting solution for power supply company;
ICS AG developed a simulation and testing tool which based on a DSL (Domain Specific Language). The DSL is used for the description of architecture and behavior of distributed system components (event/message based, reactive). The compiler was written in Haskell (with target language Ada). The test system is used in some industrial projects.
The rostering group at IVU Traffic Technologies AG has been using Haskell to check rosters for compliance with EC regulations.
Our implementation is based on an embedded DSL to combine the regulation’s single rules into a solver that not only decides on instances but, in the case of a faulty roster, finds an interpretation of the roster that is “favorable” in the sense that the error messages it entails are “helpful” in leading the dispatcher to the resolution of the issue at hand.
The solver is both reliable (due to strong static typing and referential transparency — we have not experienced a failure in three years) and efficient (due to constraint propagation, a custom search strategy, and lazy evaluation).
Our EC 561/2006 component is part of the IVU.crew software suite and as such is in wide-spread use all over Europe, both in planning and dispatch. So the next time you enter a regional bus, chances are that the driver’s roster was checked by Haskell.
- Linspire's CUFP talk
- Nokia Research Center Cambridge Cambridge, Massachusetts
Nokia Research Center Cambridge is a group of 16 researchers located in Cambridge, Massachusetts. NRCC's charter is to renew Nokia via open innovation, in particular via joint research projects with MIT Computer Science and Artificial Intelligence Laboratory. We are a systems research center, investigating all aspects of future mobile phones and services. Our goal is to develop new technologies, applications, and services, and to work with the rest of Nokia to make these a reality.
Openomy's API v2.0 is developed in Haskell, using the HAppS web platform.
Qualcomm uses Haskell to generate Lua bindings to the BREW platform
Standard Chartered has a group using Haskell in finance.
Clifford Beshers, David Fox and Jeremy Shaw have formed SeeReason Partners, LLC. Our plan is to deliver services over the internet, using Haskell to build our applications whenever possible. We have chosen primary mathematics skills as our domain, seeking to create a social networking site with games and activities that are both fun and educational.
Starling Software are developing a commercial automated options trading system in Haskell, and are migrating other parts of their software suite to Haskell.
- Tupil Utrecht, The Netherlands
Tupil is a Dutch company that builds software for clients, written in Haskell. Tupil uses Haskell for the speed in development and resulting software quality. The company is founded by Chris Eidhof and Eelco Lempsink.
If you're using Haskell commercially, please add your details here.
Jobs and recruitment
See also the Jobs in Functional Programming event.
Commercial Users of Functional Programming Workshop
- Functional Programming in the Real World (Philip Wadler)