Come for the performance, stay for the correctness

An article in HPC Wire lists industrial uses of Haskell, several of which I hadn't heard before. The article profiles Peter Braam, founder of Parallel Scientific. Spotted by Hans Wolfgang Loidl.

Arguably, Google and Facebook have brought more attention to Haskell in recent years, but there are a number of other notable uses that highlight Braam’s confidence in the functional language. For instance, Chicago-based Allston Trading, a high frequency trading company, uses Haskell in their trading infrastructure. AT&T is using it in their Network Security group to automate internet abuse complaint processing. Bank of American is using it in their backend data transformation and loading system and Credit Suisse’s Global Modeling and Analytics Group has been using it since 2006 to improve modeler productivity and open access to those models across the organization.

Biotech giant Amgen also uses Haskell for math-heavy models and to “break developers out of their development rut by giving them a new way to think about software. According to the company’s David Balaban, “Our experience is that using functional programming reduces the critical conceptual distance between thought/algorithms design and code.” But the real value says Balaban is the level of correctness they’ve been able to achieve.

As Amgen’s Balaban says “we have been able to develop code quickly and verify--to an applied mathematician’s satisfaction--the correctness of Haskell code straightforwardly; we have yet to achieve this with more traditional mainstream languages.”

Labels: , ,

That graphic makes it look as if most of the programs that work can't be written in Haskell. Maybe the Haskell circle should be just as big as the "code that works" circle?
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?