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

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.

Comments

[Cal]

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

[λondon HUG » Blog Archiv]

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

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]

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

[donstewart]

@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 « Th]

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

[The Design Patterns Epidemic .]

[...] Haskell Large scale systems [...]

[TTimo]

I was hoping to go over the slides, but the link is no longer working?

[Tom Prince]

There seems to be a copy at http://www.scribd.com/doc/19502765/Engineering-Large-Projects-in-Haskell-A-Decade-of-FP-at-Galois