Difference between revisions of "Haskell in industry"

From HaskellWiki
Jump to: navigation, search
(Added iba company details.)
(fmt)
Line 60: Line 60:
 
</blockquote>
 
</blockquote>
   
* [http://iba-cg.de/haskell.html iba Consulting Gesellschaft] -- intelligent business architecture for you<br/><br/>iba CG develops software for large companies:
+
* [http://iba-cg.de/haskell.html iba Consulting Gesellschaft] - Intelligent business architecture for you
** risk analysis and reporting solution for power supply company;
+
<blockquote>iba CG develops software for large companies:
** contract management, assert management, booking and budgeting software for one of the worldwide leading accounting firm.
+
* 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.
  +
</blockquote>
   
 
* [http://www.linspire.com/ Linspire]
 
* [http://www.linspire.com/ Linspire]

Revision as of 01:01, 12 December 2006

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

Haskell in Industry

Aetion is a defence contractor offering AI applications based on Bayesian nets. Rapidly changing priorities make it important to minimize the code impact of changes, which suits Haskell well. Aetion have 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.

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).

This group's business is derivative trading for clients. Valuing complex derivatives is computationally costly, requiring nightly runs on thousands of CPUs. There is a real competitive advantage in being able to build models quickly, since some exotic derivatives may only be traded 10-100 times in total. Previously models were built using Excel, with heavy computations delegated to C++ plugins. Most of the Excel code has now been replaced by Haskell, with Excel just providing the user interface (which in turn is generated by DSELs).

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.

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.

Quotes are taken from the Commercial Users of Functional Programming workshop. If you're using Haskell commercially, please add your details here.

Jobs

Haskell jobs.

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.