Personal tools

Haskell in industry

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Removed mid-sentence line breaks in Antiope's entry.)
Line 130: Line 130:
   
 
* [http://antiope.com/ antiope]
 
* [http://antiope.com/ antiope]
:Antiope Associates provides custom solutions for wireless communication
+
: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. Among these is functional programming, in particular the programming language Haskell.
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. Among these is functional programming, in particular the programming language Haskell.
 
   
 
If you're using Haskell commercially, please add your details here.
 
If you're using Haskell commercially, please add your details here.

Revision as of 02:03, 8 March 2008

Haskell is growing in commercial use. This page collects resources on the industrial use of Haskell.

1 Haskell in Industry

ABN AMRO is an international bank headquartered in Amsterdam. For its investment banking activities it needs to measure the counterparty risk on portfolios of financial derivatives.
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.
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 artists and designers.
See http://jobs-in-fp.org/
Developing a modern integrated circuit (ASIC or FPGA) is an enormously expensive process involving specification, modeling (to choose and fix the architecture), design (to describe what will become silicon) and verification (to ensure that it meets the specs), all before actually committing anything to silicon (where the cost of a failure can be tens of millions of dollars). Bluespec, Inc. is a three year-old company that provides language facilities, methodologies, and tools for this purpose, within the framework of the IEEE standard languages SystemVerilog and SystemC, but borrowing ideas heavily from Term Rewriting Systems and functional programming languages like Haskell. In this talk, after a brief technical overview to set the context, we will describe our tactics and strategies, and the challenges we face, in introducing declarative programming ideas into this field, both externally (convincing customers about the value of these ideas) and internally (using Haskell for our tool implementation).
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. We are hiring.
The Directional Credit Trading group uses Haskell as the primary implementation language for all its software infrastructure.
Galois designs and develops high confidence software for critical applications. Our innovative approach to software development provides high levels of assurance, yet its scalability enables us to address the most complex problems. We have successfully engineered projects under contract for corporations and government clients in the demanding application areas of security, information assurance and cryptography.
Open web development company.
iba CG develops software for large companies:
  • risk analysis and reporting solution for power supply company;
  • contract management, assert management, booking and budgeting software for one of the worldwide leading accounting firm.
Linspire, Inc. has used functional programming since its inception in 2001, beginning with extensive use of O'Caml, with a steady shift to Haskell as its implementations and libraries have matured. Hardware detection, software packaging and CGI web page generation are all areas where we have used functional programming extensively. Haskell's feature set lets us replace much of our use of little languages (e.g., bash or awk) and two-level languages (C or C++ bound to an interpreted language), allowing for faster development, better code sharing and ultimately faster implementations. Above all, we value static type checking for minimizing runtime errors in applications that run in unknown environments and for wrapping legacy programs in strongly typed functions to ensure that we pass valid arguments.
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.
Design and verification of hydraulic hybrid vehicle systems
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. Among these is functional programming, in particular the programming language Haskell.

If you're using Haskell commercially, please add your details here.

2 Jobs and recruitment

Haskell jobs.

See also the Jobs in Functional Programming event.

3 Commercial Users of Functional Programming Workshop

Commercial Users of Functional Programming

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.