Galois › Blog › Blog » Engineering Large Projects in Haskell: A Decade of FP at Galois

Engineering Large Projects in Haskell: A Decade of FP at Galois

April 27th, 2009 by donstewart

Galois has been building systems in Haskell for the past decade. This talk describes some of what we’ve learned about in-the-large, commercial Haskell programming in that time. (Download slides :: .pdf).

When and where we use Haskell
Correctness, productivity, scalabilty, maintainability
What language features we like: types, purity, types, abstractions, types, concurrency, types!
The Haskell toolchain: FFI, HPC, Cabal, compiler, libraries, build systems, etc.
Being a commercial entity in a largely open source community

This talk was presented Monday 20th April at λondon HUG.

6 Responses to “Engineering Large Projects in Haskell: A Decade of FP at Galois”

Cal says:

Thanks, it was a good talk. I’m sorry I didn’t get a chance to talk to you afterward.

λondon HUG » Blog Archive » Don’s slides says:

[...] Don has now posted his slides from last week’s talk on the Galois blog: http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois... [...]

Yitz says:

Very nice! But this should be on the programming reddit, not just the haskell reddit. And the talk should be to a wider audience than a HUG.

Pal Engstad says:

You mention the need for precision of data layout (bits/bytes), etc. Why did you write “emerging” in the slide?

donstewart says:

@Pal In that there is some support for low level representation control (inline/unboxed types/FFI ptr types). Class-associated data types also let us describe representation types for polymorphic structures separate to their regular representation.

The Year In Haskell « The Haskell Web News says:

[...] reports: 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 [...]